default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. FroCos 1998: Amsterdam, The Netherlands
- Dov M. Gabbay, Maarten de Rijke:
Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings. Research Studies Press/Wiley 1998 - Krzysztof R. Apt, Andrea Schaerf:
Programming in Alma-0, or Imperative and Declarative Programming Reconciled. FroCoS 1998: 1-18 - Mauricio Ayala-Rincón:
Church-Rosser Property for Conditional Rewriting Systems with Built-in Predicates as Premises. FroCoS 1998: 17-38 - David A. Basin, Stefan Friedrich:
Combining WS1S and HOL. FroCoS 1998: 39-56 - David A. Basin, Luca Viganò:
A Recipe for the Complexity Analysis of Non-Classical Logics. FroCoS 1998: 57-76 - Marco Benini, Dirk Nowotka, Carl Pulley:
Computer Arithmetic: Logic, Calculus and Rewriting. FroCoS 1998: 77-94 - Horatiu Cirstea, Claude Kirchner:
Combining First and Higher-Order Computations Using rho-Calculus: Towards a Semantics of ELAN. FroCoS 1998: 95-120 - Chiara Ghidini, Luciano Serafini:
Distributed First Order Logic. FroCoS 1998: 121-140 - Jürgen Giesl, Enno Ohlebusch:
Pushing the Frontiers of Combining Rewrite Systems Farther Outwards. FroCoS 1998: 141-160 - Douglas J. Howe:
Toward Sharing Libraries of Mathematics between Theorem Provers. FroCoS 1998: 161-176 - Stephan Kepser:
Negation in Combining Constraint Systems. FroCoS 1998: 177-192 - Stephan Kepser, Jörn Richts:
Optimisation Techniques for Combining Constraint Solvers. FroCoS 1998: 193-210 - Éric Monfroy:
The Constraint Solver Collaboration Language of BALI. FroCoS 1998: 211-230 - Ralf Naumann:
A Hybrid Language for the Analysis of Aspectual and Temporal Phenomena in Natural Language. FroCoS 1998: 231-254 - Uwe Petermann:
Combining Semantical and Syntactical Theory Reasoning. FroCoS 1998: 255-274 - Steven D. Prestwich:
A Generic Approach to Combining Stochastic Algorithms with Systematic Constraint Solvers. FroCoS 1998: 275-294 - Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro, Till Mossakowski:
Categorial Fibring of Logics with Terms and Binding Operators. FroCoS 1998: 295-316 - Konrad Slind, Richard J. Boulton:
Iterative Dialogue and Automated Proofs. FroCoS 1998: 317-336 - Andrzej Tarlecki:
Towards Heterogeneous Specifications. FroCoS 1998: 337-360 - Tie-Cheng Wang, Allen Goldberg:
Integration of Linear Arithmetic and Goal-Oriented Resolution for Software Reasoning. FroCoS 1998: 361-378 - Frank Wolter, Michael Zakharyaschev:
Temporalizing Description Logics. FroCoS 1998: 379-402
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-09-21 23:25 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:
