- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Combining Semantical and Syntactical Theory Reasoning
In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of combining systems 2. Philadelphia, PA: Research Studies Press. pp. 2 (2000)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Combining logic and optimization in cutting plane theory.Alexander Bockmayr & Friedrich Eisenbrand - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of combining systems 2. Philadelphia, PA: Research Studies Press. pp. 1--17.
Integrating computer algebra and reasoning through the type system of Aldor.Erik Poll & Simon Thompson - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of combining systems 2. Philadelphia, PA: Research Studies Press. pp. 136--150.
Combining equational theories sharing non-collapse-free constructors.Franz Baader & Cesare Tinelli - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of combining systems 2. Philadelphia, PA: Research Studies Press. pp. 260--274.
Structured sequent calculi for combining intuitionistic and classical first-order logic.Paqui Lucio - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of combining systems 2. Philadelphia, PA: Research Studies Press. pp. 88--104.
Termination of constraint contextual rewriting.Alessandro Armando & Silvio Ranise - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of combining systems 2. Philadelphia, PA: Research Studies Press. pp. 47--61.
Towards cooperative interval narrowing.Laurent Granvilliers - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of combining systems 2. Philadelphia, PA: Research Studies Press. pp. 18--31.
Comparing expressiveness of set constructor symbols.Agostino Dovier, Carla Piazza & Alberto Policriti - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of combining systems 2. Philadelphia, PA: Research Studies Press. pp. 275--289.
Combinations of model checking and theorem proving.Tomás E. Uribe - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of combining systems 2. Philadelphia, PA: Research Studies Press. pp. 151--170.
Integrating constraint solving into proof planning.Erica Melis, Jürgen Zimmer & Tobias Müller - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of combining systems 2. Philadelphia, PA: Research Studies Press. pp. 32--46.
A recipe for the complexity analysis of non-classical logics.David Basin & Luca Viganò - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of combining systems 2. Philadelphia, PA: Research Studies Press. pp. 2--57.
Analytics
Added to PP
2014-01-27
Downloads
0
6 months
0
2014-01-27
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-sqlzn uwo