default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th WoLLIC 2003: Ouro Preto, MG, Brazil
- Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo:
10th Workshop on Logic, Language, Information and Computation, WoLLIC 2003, Ouro Preto, Minas Gerais, Brazil, July 29 - August 1, 2003. Electronic Notes in Theoretical Computer Science 84, Elsevier 2003 - Eric Allender:
NL-printable sets and Nondeterministic Kolmogorov Complexity. 1-15 - Lauri Hella
:
Quantifying over Quantifiers. 16 - Jean-Baptiste Joinet:
Calculus of structures and proof-nets. 17 - Dale Miller:
Encryption as an abstract data type. 18-29 - Hans Rott:
Economy and economics in the logic of theory change. 30-44 - Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini:
Intersection Types and Computational Rules. 45-59 - Denis Béchet, Annie Foret:
k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures. 60-72 - Benjamín René Callejas Bedregal, André Nies:
Lowness Properties of Reals and Hyper-Immunity. 73-79 - Nachum Dershowitz, Iddo Tzameret:
Gap Embedding for Well-Quasi-Orderings. 80-90 - Marcelo Finger, Renata Wassermann:
The Universe of Approximations. 91-104 - Francisco Gutiérrez, Blas C. Ruiz:
Cut Elimination in a Class of Sequent Calculi for Pure Type Systems. 105-116 - Sven Hartmann, Sebastian Link:
On Functional Dependencies in Advanced Data Models. 117-128 - Lauri Hella, Jose Maria Turull Torres:
Expressibility of Higher Order Logics. 129-140 - Yngve Lamo, Michal Walicki:
Quantifier-free logic for multialgebraic theories. 141-153 - Renata Hax Sander Reiser, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro:
A Programming Language for the Interval Geometric Machine. 154-165 - Lutz Straßburger:
System NEL is Undecidable. 166-177 - Yoshitaka Suzuki, Satoshi Tojo:
Fusion of Pedigreed Preferential Relations. 178-189 - Leonardo B. Vana, Marcelo da Silva Corrêa:
A Tableau Method for the Lambek Calculus based on a Matrix Characterization. 190-204 - Marek Zaionc:
Statistics of implicational logic. 205-216 - Richard Zuber:
Some properties of intercategorial entailment. 217-228 - Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo:
Preface. 229-231
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-18 00:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
