Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Philippa Gardner, Uri Zarfaty |
An Introduction to Context Logic. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Denis Béchet, Annie Foret |
Fully Lexicalized Pregroup Grammars. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
Lambek Categorial Grammars, Simulation, Pregroups |
1 | Renata Hax Sander Reiser, Graçaliz Pereira Dimuro, Benjamín R. C. Bedregal, Regivan Hugo Nunes Santiago |
Interval Valued QL-Implications. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Baran, Howard Barringer |
A Grammatical Representation of Visibly Pushdown Languages. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ryan Bissell-Siders |
Ehrenfeucht-Fraïssé Games on Linear Orders. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
Ehrenfeucht-Fraïssé game, semimodel, completion, decision procedure, linear order |
1 | Louis H. Kauffman, Samuel J. Lomonaco |
Spin Networks, Quantum Topology and Quantum Computation. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
braiding, spin network, Temperley - Lieb algebra, unitary representation, linking, knotting |
1 | Alexandra Silva 0001, Jan J. M. M. Rutten |
Behavioural Differential Equations and Coinduction for Binary Trees. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Broda, Luís Damas |
On Principal Types of BCK- lambda -Terms. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
condensed BCK-logic, Typed lambda-calculus, principal types |
1 | Benjamín R. C. Bedregal, Roberto Callejas-Bedregal, Hélida S. Santos |
Bounded Lattice T-Norms as an Interval Category. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Tiede, Stephan Kepser |
Monadic Second-Order Logic and Transitive Closure Logics over Trees. |
WoLLIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Yoshitaka Suzuki |
Additive Consolidation with Maximal Change. |
WoLLIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Larisa Maksimova |
On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic. |
WoLLIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana |
Reasoning with Graphs. |
WoLLIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dan E. Willard |
The Axiom System ISigma0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem. |
WoLLIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Baltag, Sonja Smets |
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision. |
WoLLIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Kohlenbach |
A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces. |
WoLLIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bryan Renne |
Propositional Games with Explicit Strategies. |
WoLLIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Iliano Cervesato, Andre Scedrov |
Relating State-Based and Process-Based Concurrency through Linear Logic. |
WoLLIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Kanazawa |
Abstract Families of Abstract Categorial Languages. |
WoLLIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tim Fernando |
Situations as Strings. |
WoLLIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Grigori Mints, Ruy J. G. B. de Queiroz |
Preface. |
WoLLIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Aleksey Nogin, Alexei Kopylov |
Formalizing Type Operations Using the "Image" Type Constructor. |
WoLLIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Laurentiu Leustean |
Proof Mining in R-trees and Hyperbolic Spaces. |
WoLLIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dominic J. D. Hughes |
Towards Hilbert's 24th Problem: Combinatorial Proof Invariants: (Preliminary version). |
WoLLIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt (eds.) |
Proceedings of the 12th Workshop on Logic, Language, Information and Computation, WoLLIC 2005, Florianópolis, Santa Catarina, Brazil, July 19-22, 2005 |
WoLLIC |
2006 |
DBLP BibTeX RDF |
|
1 | Grigori Mints, Ruy J. G. B. de Queiroz (eds.) |
Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006 |
WoLLIC |
2006 |
DBLP BibTeX RDF |
|
1 | Leonid Libkin |
Locality of Queries and Transformations. |
WoLLIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Melvin Fitting |
A Quantified Logic of Evidence. |
WoLLIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Guilherme de Souza Rabello, Marcelo Finger |
Approximations of Modal Logic K. |
WoLLIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sven Hartmann, Sebastian Link |
An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic. |
WoLLIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt |
Preface. |
WoLLIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Itala M. Loffredo D'Ottaviano, Milton Augustinis De Castro |
Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics. |
WoLLIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Casey McGinnis |
Tableau Systems for Some Paraconsistent Modal Logics. |
WoLLIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Scanlon |
Nonstandard Meromorphic Groups. |
WoLLIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar, David Richerby, Benjamin Rossman |
Choiceless Polynomial Time, Counting and the Cai-Fürer-Immerman Graphs: (Extended Abstract). |
WoLLIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ana Teresa C. Martins, Lília Ramalho Martins |
Natural Deduction for Full S5 Modal Logic with Weak Normalization. |
WoLLIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hongwei Xi |
Development Separation in Lambda-Calculus. |
WoLLIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Benjamín René Callejas Bedregal, Anderson Paiva Cruz |
Propositional Logic as a Propositional Fuzzy Logic. |
WoLLIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ozan Kahramanogullari |
System BV is NP-complete. |
WoLLIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Richard Lassaigne, Sylvain Peyronnet |
Probabilistic Verification and Approximation. |
WoLLIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Santiago Figueira, André Nies, Frank Stephan 0001 |
Lowness Properties and Approximations of the Jump. |
WoLLIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Grigori Mints |
Cut Elimination for a Simple Formulation of PAepsilon. |
WoLLIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Joel H. Spencer, Katherine St. John |
The Complexity of Random Ordered Structures. |
WoLLIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ruy J. G. B. de Queiroz, Patrick Cégielski (eds.) |
Proceedings of the 11th Workshop on Logic, Language, Information and Computation, WoLLIC 2004, Fontainebleau, France, July 19-22, 2004 |
WoLLIC |
2005 |
DBLP BibTeX RDF |
|
1 | Michael Kaminski, Julia Mosin |
Default Theories Over Monadic Languages: (Extended Abstract). |
WoLLIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sven Hartmann, Sebastian Link |
The Implication Problem of Functional Dependencies in Complex-value Databases. |
WoLLIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yassine Hachaïchi |
Fragments of Monadic Second-Order Logics Over Word Structures. |
WoLLIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Moshe Rabinovich |
Composition Theorems for Generalized Sum and Recursively Defined Types. |
WoLLIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Damian Niwinski, Igor Walukiewicz |
Deciding Nondeterministic Hierarchy of Deterministic Tree Automata. |
WoLLIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Kerber |
Living with Paradoxes. |
WoLLIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ruy J. G. B. de Queiroz, Patrick Cégielski |
Preface. |
WoLLIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Finkel |
On Decidability Properties of Local Sentences. |
WoLLIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Favio Ezequiel Miranda-Perea |
Realizability for Monotone and Clausular (Co)inductive Definitions. |
WoLLIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez |
Towards a Programming Language in Cellular Computing. |
WoLLIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Meer |
Probabilistically Checkable Proofs Over the Reals. |
WoLLIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Amelia Râstei |
Abstract Conditions for the Confluence of Explicit Substitution Calculi. |
WoLLIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christian Jacques Rentería, Edward Hermann Haeusler |
A Natural Deduction System for Keisler's Quantification. |
WoLLIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ehrhard, Laurent Regnier |
Differential Interaction Nets. |
WoLLIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mustapha Bourahla, Mohamed Benmohamed |
Formal Specification and Verification of Multi-Agent Systems. |
WoLLIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Tingting Han 0001, Jian Lu 0001 |
A Modal Logic for pi-Calculus and Model Checking Algorithm. |
WoLLIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sven Hartmann, Sebastian Link |
On Functional Dependencies in Advanced Data Models. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo B. Vana, Marcelo da Silva Corrêa |
A Tableau Method for the Lambek Calculus based on a Matrix Characterization. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Denis Béchet, Annie Foret |
k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Yngve Lamo, Michal Walicki |
Quantifier-free logic for multialgebraic theories. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Marek Zaionc |
Statistics of implicational logic. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Renata Hax Sander Reiser, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro |
A Programming Language for the Interval Geometric Machine. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Lauri Hella |
Quantifying over Quantifiers. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo |
Preface. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Dale Miller 0001 |
Encryption as an abstract data type. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Lauri Hella, Jose Maria Turull Torres |
Expressibility of Higher Order Logics. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Yoshitaka Suzuki, Satoshi Tojo |
Fusion of Pedigreed Preferential Relations. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Gutiérrez, Blas C. Ruiz |
Cut Elimination in a Class of Sequent Calculi for Pure Type Systems. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini |
Intersection Types and Computational Rules. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Nachum Dershowitz, Iddo Tzameret |
Gap Embedding for Well-Quasi-Orderings. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Richard Zuber |
Some properties of intercategorial entailment. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Benjamín René Callejas Bedregal, André Nies |
Lowness Properties of Reals and Hyper-Immunity. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hans Rott |
Economy and economics in the logic of theory change. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Lutz Straßburger |
System NEL is Undecidable. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Baptiste Joinet |
Calculus of structures and proof-nets. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Eric Allender |
NL-printable sets and Nondeterministic Kolmogorov Complexity. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Finger, Renata Wassermann |
The Universe of Approximations. |
WoLLIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo (eds.) |
10th Workshop on Logic, Language, Information and Computation, WoLLIC 2003, Ouro Preto, Minas Gerais, Brazil, July 29 - August 1, 2003 |
WoLLIC |
2003 |
DBLP BibTeX RDF |
|
1 | Jean-Yves Béziau |
Non Truth-Functional Many-Valuedness. |
WoLLIC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Igor Walukiewicz |
Deciding low levels of tree-automata hierarchy. |
WoLLIC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón |
On automating the extraction of programs from proofs using product types. |
WoLLIC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler |
Preface: WoLLIC 2002 |
WoLLIC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine |
Comparing Calculi of Explicit Substitutions with Eta-reduction. |
WoLLIC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Parikh |
States of Knowledge. |
WoLLIC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Carlos H. C. Duarte, T. S. E. Maibaum |
A Branching Time Logical System for Open Distributed Systems Development. |
WoLLIC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Benjamín René Callejas Bedregal, Ivanosca Andrade da Silva |
Continuous Domains and their Information System Representation as Logical Systems. |
WoLLIC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Nikos Gorogiannis, Mark Ryan 0001 |
Requirements, specifications, and minimal refinement. |
WoLLIC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Buchsbaum |
A Logic for Ambiguous Description. |
WoLLIC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Klaus-Dieter Schewe, Jose Maria Turull Torres |
Computable Queries for Object Oriented Databases. |
WoLLIC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Osorio 0001, Juan Antonio Navarro Pérez, José Arrazola |
A logical approach to A-Prolog. |
WoLLIC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Erich Grädel |
Model Checking Games. |
WoLLIC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Dovier, Raffaella Gentilini, Carla Piazza, Alberto Policriti |
Rank-Based Symbolic Bisimulation (and Model Checking). |
WoLLIC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Renata P. de Freitas, Jorge Petrucio Viana |
A Completeness Result for Relation Algebra with Binders. |
WoLLIC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Henry E. Kyburg Jr., Choh Man Teng 0001 |
The Logic of Risky Knowledge. |
WoLLIC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Bianconi |
Definability in o-minimal expansions of the real numbers. |
WoLLIC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Felipe Cucker |
On sparseness and Turing reducibility over the reals. |
WoLLIC |
2002 |
DBLP DOI BibTeX RDF |
|