First-order logic and star-free sets
Journal of Computer and System Sciences
Definability with bounded number of bound variables
Information and Computation
Varieties Of Formal Languages
An Until Hierarchy for Temporal Logic
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
First-Order Logic with Two Variables and Unary Temporal
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Temporal logic and semidirect products: an effective characterization of the until hierarchy
FOCS '96 Proceedings of the 37th Annual Symposium on Foundations of Computer Science
Weakly Iterated Block Products of Finite Monoids
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
On Logical Descriptions of Regular Languages
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
Nesting Until and Since in Linear Temporal Logic
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Partially-Ordered Two-Way Automata: A New Characterization of DA
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
First-order logic with two variables and unary temporal logic
Information and Computation - Special issue: LICS'97
Learning expressions and programs over monoids
Information and Computation
On First-Order Fragments for Mazurkiewicz Traces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Tree Languages Defined in First-Order Logic with One Quantifier Alternation
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Characterization of Logics over Ranked Tree Languages
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
ACM Computing Surveys (CSUR)
Non-solvable Groups Are Not in FO+MOD+MÂJ2[REG]
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
Learning expressions and programs over monoids
Information and Computation
Classifying discrete temporal properties
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
DLT'10 Proceedings of the 14th international conference on Developments in language theory
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Unambiguity in timed regular languages: automata and logics
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Two-variable logic on data words
ACM Transactions on Computational Logic (TOCL)
Linear completeness thresholds for bounded model checking
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Restricted two-variable FO + MOD sentences, circuits and communication complexity
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Regular languages, unambiguous concatenation and computational complexity
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
Lattices of logical fragments over words
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
On First-Order Fragments for Mazurkiewicz Traces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
The join levels of the trotter-weil hierarchy are decidable
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
Linear circuits, two-variable logic and weakly blocked monoids
MFCS'07 Proceedings of the 32nd international conference on Mathematical Foundations of Computer Science
Structure theorem and strict alternation hierarchy for FO2 on words
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Linear circuits, two-variable logic and weakly blocked monoids
Theoretical Computer Science
| Hi-index | 0.00 |