BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × India
1 × Sweden
2 × Canada
Collaborated with:
P.S.Thiagarajan P.K.Pandya R.Ramanujam S.S.Shah A.Krebs H.Straubing
Talks about:
logic (3) algebra (2) two (2) automaton (1) subclass (1) structur (1) procedur (1) automata (1) variabl (1) product (1)

Person: Kamal Lodaya

DBLP DBLP: Lodaya:Kamal

Contributed to:

DLT 20102010
SEFM 20062006
CIAA 20002000
ICALP 19931993
ICALP 19871987
CSL 20182018

Wrote 6 papers:

Around Dot Depth Two (KL, PKP, SSS), pp. 303–315.
SEFM-2006-Lodaya #algebra #automaton #process
Product Automata and Process Algebra (KL), pp. 128–136.
CIAA-2000-LodayaR #automaton #navigation #web
An Automaton Model of User-Controlled Navigation on the Web (KL, RR), pp. 208–216.
ICALP-1993-LodayaT #decidability #logic #partial order
Decidability of a Partial Order Based Temporal Logic (KL, PST), pp. 582–592.
ICALP-1987-LodayaT #logic #subclass
A Modal Logic for a Subclass of Event Structures (KL, PST), pp. 290–303.
CSL-2018-KrebsLPS #algebra #logic
An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation (AK, KL, PKP, HS), p. 17.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.