Search results for "WoLLIC"

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

Publications at "WoLLIC"( http://dblp.L3S.de/Venues/WoLLIC )