Conferences in DBLP
(wollic) Joachim Baran , Howard Barringer A Grammatical Representation of Visibly Pushdown Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Denis Bechet , Annie Foret Fully Lexicalized Pregroup Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamín C. Bedregal , Roberto Callejas-Bedregal , Hélida S. Santos Bounded Lattice T-Norms as an Interval Category. [Citation Graph (0, 0)][DBLP ] Conf ] Hicham Bensaid , Ricardo Caferra , Nicolas Peltier Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps. [Citation Graph (0, 0)][DBLP ] Conf ] Raffaella Bernardi , Michael Moortgat Continuation Semantics for Symmetric Categorial Grammar. [Citation Graph (0, 0)][DBLP ] Conf ] Ryan Bissell-Siders Ehrenfeucht-Fraïssé Games on Linear Orders. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Bolander , René Rydhof Hansen Hybrid Logical Analyses of the Ambient Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Adrian Brasoveanu Structured Anaphora to Quantifier Domains: A Unified Account of Quantificational and Modal Subordination. [Citation Graph (0, 0)][DBLP ] Conf ] Sabine Broda , Luís Damas On Principal Types of BCK- lambda -Terms. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Dikovsky A Finite-State Functional Grammar Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Annie Foret Pregroup Calculus as a Logic Functor. [Citation Graph (0, 0)][DBLP ] Conf ] Murdoch Gabbay , Aad Mathijssen A Formal Calculus for Informal Equality with Binding. [Citation Graph (0, 0)][DBLP ] Conf ] André L. Galdino , César Muñoz , Mauricio Ayala-Rincón Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Philippa Gardner , Uri Zarfaty An Introduction to Context Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Sven Hartmann , Sebastian Link Numerical Constraints for XML. [Citation Graph (0, 0)][DBLP ] Conf ] André Hirschowitz , Marco Maggesi Modules over Monads and Linearity. [Citation Graph (0, 0)][DBLP ] Conf ] Ariya Isihara Hydra Games and Tree Ordinals. [Citation Graph (0, 0)][DBLP ] Conf ] Louis H. Kauffman , Samuel J. Lomonaco Spin Networks, Quantum Topology and Quantum Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Moortgat Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Paulo Oliva Computational Interpretations of Classical Linear Logic. [Citation Graph (0, 0)][DBLP ] Conf ] John H. Reif , Thomas H. LaBean Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures. [Citation Graph (0, 0)][DBLP ] Conf ] Renata Hax Sander Reiser , Graçaliz Pereira Dimuro , Benjamín C. Bedregal , Regivan H. Nunes Santiago Interval Valued QL-Implications. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandra Silva , Jan J. M. M. Rutten Behavioural Differential Equations and Coinduction for Binary Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Kim Solin A Sketch of a Dynamic Epistemic Semiring. [Citation Graph (0, 0)][DBLP ] Conf ] Yde Venema A Modal Distributive Law (abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Marcos Villagra , Benjamín Barán Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing. [Citation Graph (0, 0)][DBLP ] Conf ] 