Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Adam Koprowski, Hans Zantema |
Proving Liveness with Fairness Using Rewriting. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Niehren, Jan Schwinghammer, Gert Smolka |
A Concurrent Lambda Calculus with Futures. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Thom W. Frühwirth, Slim Abdennadher |
Tutorial: Reasoning with, about and for Constraint Handling Rules. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Serge Autexier, Till Mossakowski |
Integrating HOL-CASL into the Development Graph Manager MAYA. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Kapur |
A Rewrite Rule Based Framework for Combining Decision Procedures. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Matthias M. Hölzl, John N. Crossley |
Constraint-Lambda Calculi. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tuba Yavuz-Kahveci, Tevfik Bultan |
Heuristics for Efficient Manipulation of Composite Constraints. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano |
Exploiting Constraints for Domain Managing in CLP(FD). |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Calogero G. Zarba |
Combining Sets with Integers. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michael Marte |
A Modular Approach to Proving Confluence. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella |
Integrating BDD-Based and SAT-Based Symbolic Model Checking. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Clark W. Barrett, David L. Dill, Aaron Stump |
A Generalization of Shostak's Method for Combining Decision Procedures. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Martine Ceberio, Laurent Granvilliers |
Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Armando (eds.) |
Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Greg Nelson |
Foundations of a Constraint-Based Illustrator. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Lüth, Neil Ghani |
Monads and Modularity. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Thomas F. Melham |
PROSPER - An Investigation into Software Architecture for Embedded Proof Engines. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò 0001 |
Labelled Deduction over Algebras of Truth-Values. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Marco Cadoli, Toni Mancini |
Combining Relational Algebra, SQL, and Constraint Programming. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alfredo Burrieza, Inman P. de Guzmán |
A Temporal × Modal Approach to the Definability of Properties of Functions. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
$Ttimes W$-semantics, functional semantics, completeness, definability |
1 | Giorgio Delzanno |
Constraint-Based Model Checking for Parameterized Synchronous Systems. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani, Jean-François Condotta |
Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Volker Sorge |
Non-Trivial Symbolic Computations in Proof Planning. |
FroCoS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Klaus U. Schulz |
Why Combined Decision Problems Are Often Intractable. |
FroCoS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Leo Bachmair, I. V. Ramakrishnan, Ashish Tiwari 0001, Laurent Vigneron |
Congruence Closure Modulo Associativity and Commutativity. |
FroCoS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Tomás E. Uribe |
Combinations of Model Checking and Theorem Proving. |
FroCoS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Dowek |
Axioms vs. Rewrite Rules: From Completeness to Cut Elimination. |
FroCoS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Armando, Silvio Ranise |
Termination of Constraint Contextual Rewriting. |
FroCoS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio |
Modular Redundancy for Theorem Proving. |
FroCoS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Paqui Lucio |
Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic. |
FroCoS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Cesare Tinelli |
Combining Equational Theories Sharing Non-Collapse-Free Constructors. |
FroCoS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Bockmayr, Friedrich Eisenbrand |
Combining Logic and Optimization in Cutting Plane Theory. |
FroCoS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Cruz 0001, Pedro Barahona |
Handling Differential Equations with Constraints for Decision Support. |
FroCoS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Michael Hanus |
Compiling Multi-Paradigm Declarative Programs into Prolog. |
FroCoS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Kirchner, Christophe Ringeissen (eds.) |
Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings |
FroCoS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Erik Poll, Simon J. Thompson |
Integrating Computer Algebra and Reasoning through the Type System of Aldor. |
FroCoS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Erica Melis, Jürgen Zimmer, Tobias Müller 0002 |
Integrating Constraint Solving into Proof Planning. |
FroCoS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Granvilliers |
Towards Cooperative Interval Narrowing. |
FroCoS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Coglio, Fausto Giunchiglia, José Meseguer 0001, Carolyn L. Talcott |
Composing and Controlling Search in Reasoning Theories Using Mappings. |
FroCoS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Dovier, Carla Piazza, Alberto Policriti |
Comparing Expressiveness of Set Constructor Symbols. |
FroCoS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher 0001 |
Normal Forms and Proofs in Combined Modal and Temporal Logics. |
FroCoS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Tarlecki |
Towards Heterogeneous Specifications. |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | Dov M. Gabbay, Maarten de Rijke (eds.) |
Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro, Till Mossakowski |
Categorial Fibring of Logics with Terms and Binding Operators. |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | Stephan Kepser |
Negation in Combining Constraint Systems. |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | Stephan Kepser, Jörn Richts |
Optimisation Techniques for Combining Constraint Solvers. |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | Douglas J. Howe |
Toward Sharing Libraries of Mathematics between Theorem Provers. |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | Krzysztof R. Apt, Andrea Schaerf |
Programming in Alma-0, or Imperative and Declarative Programming Reconciled. |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | David A. Basin, Luca Viganò 0001 |
A Recipe for the Complexity Analysis of Non-Classical Logics. |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | Frank Wolter, Michael Zakharyaschev |
Temporalizing Description Logics. |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | David A. Basin, Stefan Friedrich 0001 |
Combining WS1S and HOL. |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | Chiara Ghidini, Luciano Serafini |
Distributed First Order Logic. |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | Uwe Petermann |
Combining Semantical and Syntactical Theory Reasoning. |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | Tie-Cheng Wang, Allen Goldberg |
Integration of Linear Arithmetic and Goal-Oriented Resolution for Software Reasoning. |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | Horatiu Cirstea, Claude Kirchner |
Combining First and Higher-Order Computations Using rho-Calculus: Towards a Semantics of ELAN. |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | Marco Benini, Dirk Nowotka, Carl Pulley |
Computer Arithmetic: Logic, Calculus and Rewriting. |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | Steven D. Prestwich |
A Generic Approach to Combining Stochastic Algorithms with Systematic Constraint Solvers. |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | Jürgen Giesl, Enno Ohlebusch |
Pushing the Frontiers of Combining Rewrite Systems Farther Outwards. |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | Konrad Slind, Richard J. Boulton |
Iterative Dialogue and Automated Proofs. |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | Mauricio Ayala-Rincón |
Church-Rosser Property for Conditional Rewriting Systems with Built-in Predicates as Premises. |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | Ralf Naumann |
A Hybrid Language for the Analysis of Aspectual and Temporal Phenomena in Natural Language. |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | Éric Monfroy |
The Constraint Solver Collaboration Language of BALI. |
FroCoS |
1998 |
DBLP BibTeX RDF |
|
1 | Xiao Jun Chen |
Model Checking ACTL Constrained Processes. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
1 | Christophe Ringeissen |
Cooperation of Decision Procedures for the Satisfiability Problem. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
1 | Frieder Stolzenburg |
Membership-Constraints and Complexity in Logic Programming with Sets. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
1 | Bernd I. Dahn, Andreas Wolf |
Natural Language Presentation and Combination of Automatically Generated Proofs. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
1 | John K. Slaney, Timothy J. Surendonk |
Combining Finite Model Generation with Theorem Proving: Problems and Prospects. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
1 | Evelina Lamma, Michela Milano, Paola Mello |
Combining Solvers in a Meta Constraint Logic Programming Architecture. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
1 | Jacques Calmet, Karsten Homann |
Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
1 | David A. Basin, Seán Matthews, Luca Viganò 0001 |
A Topography of Labelled Modal Logics. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
1 | Bruno Buchberger |
Symbolic Computation: Computer Algebra and Logic. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
1 | Naji Habra, Baudouin Le Charlier |
Unified Relational Framework for Programming Paradigm Combination. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
1 | Alessandra Russo |
Generalising Propositional Modal Logic Using Labelled Deductive Systems. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
1 | Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott |
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
1 | Dov M. Gabbay |
An Overview of Fibred Semantics and the Combination of Logics. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
1 | Franz Baader, Klaus U. Schulz (eds.) |
Frontiers of Combining Systems, First International Workshop FroCoS 1996, Munich, Germany, March 26-29, 1996, Proceedings |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
1 | Luis Fariñas del Cerro, Andreas Herzig |
Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
1 | Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti |
Logic Tuple Spaces for the Coordination of Heterogeneous Agents. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
1 | John N. Crossley, Luis Mandel, Martin Wirsing |
First-Order Constrained Lambda Calculus. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
1 | Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard |
CLP(chi) for Proving Program Properties. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
1 | Christopher Landauer, Kirstie L. Bellman |
Integration Systems and Interaction Spaces. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
1 | Cesare Tinelli, Mehdi T. Harandi |
A New Correctness Proof of the {Nelson-Oppen} Combination Procedure. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
1 | Agostino Dovier, Alberto Policriti, Gianfranco Rossi |
Integrating Lists, Multisets, and Sets in a Logic Programming Framework. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|