Journal · LICS
40
Publications
1K
Citations
Top concepts
Computer ScienceComputingMathematicsFormal MethodsLogicTheory Of ComputationModel TheoryAlgorithmsProgramming LanguagesType Systems
Publications per year
2008–2008
40
40
Collapsible Pushdown Automata and Recursion Schemes
Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong et al. · 2008 · 147 citations
From Axioms to Analytic Rules in Nonclassical Logics
Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui · 2008 · 120 citations
Second-Order and Dependently-Sorted Abstract Syntax
Marcelo Fiore · 2008 · 59 citations
The Ordinal Recursive Complexity of Lossy Channel Systems
Pierre Chambart, Ph. Schnoebelen · 2008 · 59 citations
1–5 of 40