Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th WoLLIC 2004: Fontainebleau, France
- Ruy J. G. B. de Queiroz, Patrick Cégielski:
Proceedings of the 11th Workshop on Logic, Language, Information and Computation, WoLLIC 2004, Fontainebleau, France, July 19-22, 2004. Electronic Notes in Theoretical Computer Science 123, Elsevier 2005 - Ruy J. G. B. de Queiroz, Patrick Cégielski:
Preface. 1-3 - Mustapha Bourahla, Mohamed Benmohamed:
Formal Specification and Verification of Multi-Agent Systems. 5-17 - Taolue Chen, Tingting Han, Jian Lu:
A Modal Logic for pi-Calculus and Model Checking Algorithm. 19-33 - Thomas Ehrhard, Laurent Regnier:
Differential Interaction Nets. 35-74 - Olivier Finkel:
On Decidability Properties of Local Sentences. 75-92 - Miguel A. Gutiérrez-Naranjo
, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez:
Towards a Programming Language in Cellular Computing. 93-110 - Yassine Hachaïchi:
Fragments of Monadic Second-Order Logics Over Word Structures. 111-123 - Sven Hartmann, Sebastian Link:
The Implication Problem of Functional Dependencies in Complex-value Databases. 125-137 - Michael Kaminski, Julia Mosin:
Default Theories Over Monadic Languages: (Extended Abstract). 139-149 - Manfred Kerber:
Living with Paradoxes. 151-163 - Klaus Meer:
Probabilistically Checkable Proofs Over the Reals. 165-177 - Favio Ezequiel Miranda-Perea:
Realizability for Monotone and Clausular (Co)inductive Definitions. 179-193 - Damian Niwinski, Igor Walukiewicz:
Deciding Nondeterministic Hierarchy of Deterministic Tree Automata. 195-208 - Alexander Moshe Rabinovich:
Composition Theorems for Generalized Sum and Recursively Defined Types. 209-211 - Amelia Râstei:
Abstract Conditions for the Confluence of Explicit Substitution Calculi. 213-228 - Christian Jacques Rentería, Edward Hermann Haeusler:
A Natural Deduction System for Keisler's Quantification. 229-240
a service of 
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 2024-04-25 05:27 CEST 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:
