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: Lodaya:Kamal
Contributed to:
2010
2006
2000
19931987
2018Wrote 6 papers:
- DLT-2010-LodayaPS
- 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.