Szabolcs Iván

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008

4 EE Zoltán Ésik, Szabolcs Iván: Games for Temporal Logics on Trees. CIAA 2008: 191-200

3 EE Zoltán Ésik, Szabolcs Iván: Products of Tree Automata with an Application to Temporal Logic. Fundam. Inform. 82(1-2): 61-78 (2008)

2 EE Zoltán Ésik, Szabolcs Iván: Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics. Fundam. Inform. 82(1-2): 79-103 (2008)

2007

1 EE Zoltán Ésik, Szabolcs Iván: Aperiodicity in Tree Automata. CAI 2007: 189-207

2008
4	EE	Zoltán Ésik, Szabolcs Iván: Games for Temporal Logics on Trees. CIAA 2008: 191-200
3	EE	Zoltán Ésik, Szabolcs Iván: Products of Tree Automata with an Application to Temporal Logic. Fundam. Inform. 82(1-2): 61-78 (2008)
2	EE	Zoltán Ésik, Szabolcs Iván: Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics. Fundam. Inform. 82(1-2): 79-103 (2008)
2007
1	EE	Zoltán Ésik, Szabolcs Iván: Aperiodicity in Tree Automata. CAI 2007: 189-207

Coauthor Index

1 Zoltán Ésik [1] [2] [3] [4]