Skip to content

Workshop on Logic, Language, Information and Computation

WoLLIC

C

CORE rank

CORE rank (raw)

C

Fields of research

Theory of Computation

Papers indexed

442

2007–2026

Papers per year

200740 peak2026

WoLLIC papers

442 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2007Hydra Games and Tree Ordinals.Ariya Isihara
2007Modules over Monads and Linearity.Andr Hirschowitz, Marco Maggesi
2007Numerical Constraints for XML.Sven Hartmann, Sebastian Link
2007An Introduction to Context Logic.Philippa Gardner, Uri Zarfaty
2007Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm.Andr Luiz Galdino, Csar A. Muoz, Mauricio Ayala-Rincn
2007A Formal Calculus for Informal Equality with Binding.Murdoch Gabbay, Aad Mathijssen
2007Pregroup Calculus as a Logic Functor.Annie Foret
2007A Finite-State Functional Grammar Architecture.Alexander Ja. Dikovsky
2007On Principal Types of BCK-Sabine Broda, Lus Damas
2007Structured Anaphora to Quantifier Domains: A Unified Account of Quantificational and Modal Subordination.Adrian Brasoveanu
2007Hybrid Logical Analyses of the Ambient Calculus.Thomas Bolander, Ren Rydhof Hansen
2007Ehrenfeucht-Frass Games on Linear Orders.Ryan Bissell-Siders
2007Continuation Semantics for Symmetric Categorial Grammar.Raffaella Bernardi, Michael Moortgat
2007Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps.Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
2007Bounded Lattice T-Norms as an Interval Category.Benjamn R. C. Bedregal, Roberto Callejas-Bedregal, Hlida S. Santos
2007Fully Lexicalized Pregroup Grammars.Denis Bchet, Annie Foret
2007A Grammatical Representation of Visibly Pushdown Languages.Joachim Baran, Howard Barringer
426442 of 442← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.