default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 32
Volume 32, Number 1, October 1997
- Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer:
Fork Algebras in Algebra, Logic and Computer Science. 1-25 - Stefano Kasangian, Sebastiano Vigna:
The Topos of Labelled Trees: A Categorical Semantics for SCCS. 27-45 - Don Pigozzi, Antonino Salibra:
Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus. 47-90 - Jerzy Tyszkiewicz:
Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines. 91-105
Volume 32, Number 2, November 1997
- Mihir K. Chakraborty, Ewa Orlowska:
Substitutivity Principles in Some Theories of Uncertainty. 107-120 - Terry Gaasterland, Jorge Lobo:
Qualifying Answers According to User Needs and Preferences. 121-137 - V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Complexity of Recursive Normal Default Logic. 139-147 - Gheorghe Paun, Lech Polkowski, Andrzej Skowron:
Rough Set Approximations of Languages. 149-162 - Carolina Ruiz, Jack Minker:
Combining Closed World Assumptions with Stable Negation. 163-181 - Krister Segerberg:
Proposal for a Theory of Belief Revision Along the Lines of Lindström and Rabinowicz. 183-191
Volume 32, Numbers 3-4, December 1997
- Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus. 193-250 - Antonio Bucciarelli:
Bi-Models: Relational Versus Domain-Theoretic Approaches. 251-266 - Andrés Bujosa, Regino Criado, Miguel Angel Hernández-Medina:
Unification: Nothing but the Solution of a System of Linear Equations. 267-280 - Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig:
Modal Tableaux with Propagation Rules and Structural Rules. 281-297 - Mihir K. Chakraborty, Sanjukta Basu:
Graded Consequence and Some Metalogical Notions Generalized. 299-311 - Bogdan S. Chlebus, Krzysztof Diks, Andrzej Pelc:
Transition-Optimal Token Distribution. 313-328 - Wan J. Fokkink:
An Axiomatization for Regular Processes in Times Branching Bisimulation. 329-340 - Juha Honkala:
Decision Problems Concerning a Power Series Generalization of DTOL Systems. 341-348 - Mohamed A. Khamsi, Driss Misane:
Disjunctive Signed Logic Programs. 349-357 - Wladyslaw Skarbek:
On Relation of Image Compression and Image Association. 359-371 - Ferucio Laurentiu Tiplea, Erkki Mäkinen:
Jumping Petri Nets. Specific Properties. 373-392
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-11-08 20:34 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:
