The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FroCoS"( http://dblp.L3S.de/Venues/FroCoS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/frocos

Publication years (Num. hits)
1996 (21) 1998 (21) 2000 (19) 2002 (20) 2005 (20) 2007 (19) 2009 (24) 2011 (19) 2013 (25) 2015 (22) 2017 (20) 2019 (21) 2021 (17) 2023 (15)
Publication types (Num. hits)
inproceedings(269) proceedings(14)
Venues (Conferences, Journals, ...)
FroCos(283)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 15 keywords

Results
Found 283 publication records. Showing 283 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Olle Torstensson, Tjark Weber Hammering Floating-Point Arithmetic. Search on Bibsonomy FroCoS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Ryota Haga, Yuki Kagaya, Takahito Aoto 0001 A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems. Search on Bibsonomy FroCoS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Visa Nummelin, Jasmin Blanchette, Sander R. Dahmen Recurrence-Driven Summations in Automated Deduction. Search on Bibsonomy FroCoS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Chad E. Brown, Adam Pease, Josef Urban Translating SUMO-K to Higher-Order Set Theory. Search on Bibsonomy FroCoS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Nils Lommen, Jürgen Giesl Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs. Search on Bibsonomy FroCoS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Sibylle Möhle An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL. Search on Bibsonomy FroCoS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach Symbolic Model Construction for Saturated Constrained Horn Clauses. Search on Bibsonomy FroCoS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Teppei Saito, Nao Hirokawa Weighted Path Orders Are Semantic Path Orders. Search on Bibsonomy FroCoS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Burak Ekici, Arjun Viswanathan, Yoni Zohar, Cesare Tinelli, Clark W. Barrett Formal Verification of Bit-Vector Invertibility Conditions in Coq. Search on Bibsonomy FroCoS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Yasmine Briefs, Hendrik Leidinger, Christoph Weidenbach KBO Constraint Solving Revisited. Search on Bibsonomy FroCoS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Uli Sattler, Martin Suda 0001 (eds.) Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings Search on Bibsonomy FroCoS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Farah Al Wardani, Kaustuv Chaudhuri, Dale Miller 0001 Formal Reasoning Using Distributed Assertions. Search on Bibsonomy FroCoS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Liao Zhang, Lasse Blaauwbroek, Cezary Kaliszyk, Josef Urban Learning Proof Transformations and Its Applications in Interactive Theorem Proving. Search on Bibsonomy FroCoS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett Combining Finite Combination Properties: Finite Models and Busy Beavers. Search on Bibsonomy FroCoS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Giorgio Cignarale, Roman Kuznets, Hugo Rincon Galeana, Ulrich Schmid 0001 Logic of Communication Interpretation: How to Not Get Lost in Translation. Search on Bibsonomy FroCoS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1K. Subramani 0001, Piotr Wojciechowski 0002, Alvaro Velasquez On the Copy Complexity of Width 3 Horn Constraint Systems. Search on Bibsonomy FroCoS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Hai Lin 0005, Christopher Lynch Formal Analysis of Symbolic Authenticity. Search on Bibsonomy FroCoS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Zarathustra Amadeus Goertzel, Karel Chvalovský, Jan Jakubuv, Miroslav Olsák, Josef Urban Fast and Slow Enigmas and Parental Guidance. Search on Bibsonomy FroCoS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Mostafa Sakr, Renate A. Schmidt Semantic Forgetting in Expressive Description Logics. Search on Bibsonomy FroCoS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. Search on Bibsonomy FroCoS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Qingxiang Wang, Cezary Kaliszyk JEFL: Joint Embedding of Formal Proof Libraries. Search on Bibsonomy FroCoS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Martin Suda 0001 Vampire with a Brain Is a Good ITP Hammer. Search on Bibsonomy FroCoS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine, Hans-Jörg Schurr Quantifier Simplification by Unification in SMT. Search on Bibsonomy FroCoS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Hai Lin 0005, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems. Search on Bibsonomy FroCoS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Boris Konev, Giles Reger (eds.) Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings Search on Bibsonomy FroCoS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Filippo Bigarella, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Martin Jonás, Marco Roveri, Roberto Sebastiani, Patrick Trentin Optimization Modulo Non-linear Arithmetic via Incremental Linearization. Search on Bibsonomy FroCoS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Antoine Defourné Improving Automation for Higher-Order Proof Steps. Search on Bibsonomy FroCoS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv Restricted Unification in the DL ℱ0. Search on Bibsonomy FroCoS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen Non-disjoint Combined Unification and Closure by Equational Paramodulation. Search on Bibsonomy FroCoS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Laine E. Rumreich, Paolo A. G. Sivilotti Formal Verification of a Java Component Using the RESOLVE Framework. Search on Bibsonomy FroCoS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner 0001 Combining Event Calculus and Description Logic Reasoning via Logic Programming. Search on Bibsonomy FroCoS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Dennis Peuter, Viorica Sofronie-Stokkermans Symbol Elimination and Applications to Parametric Entailment Problems. Search on Bibsonomy FroCoS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Andreas Herzig, Andrei Popescu 0001 (eds.) Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings Search on Bibsonomy FroCoS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christopher Lynch, Andrew M. Marshall, Catherine Meadows 0001, Paliath Narendran, Veena Ravishankar On Asymmetric Unification for the Theory of XOR with a Homomorphism. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roman Kuznets, Laurent Prosperi, Ulrich Schmid 0001, Krisztina Fruzsa Epistemic Reasoning with Byzantine-Faulty Agents. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Warren Del-Pinto, Renate A. Schmidt Extending Forgetting-Based Abduction Using Nominals. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Rawson 0001, Giles Reger A Neurally-Guided, Parallel Theorem Prover. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dohan Kim 0001, Christopher Lynch, Paliath Narendran Reviving Basic Narrowing Modulo. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Franz Baader, Filippo De Bortoli On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1David Fuenmayor, Christoph Benzmüller Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Eugenia Ternovska An Algebra of Modular Systems: Static and Dynamic Perspectives. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrzej Indrzejczak Two Is Enough - Bisequent Calculus for S5. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carsten Fuhs Transforming Derivational Complexity of Term Rewriting to Runtime Complexity. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andreas Teucke, Marco Voigt, Christoph Weidenbach On the Expressivity and Applicability of Model Representation Formalisms. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Takahito Aoto 0001, Yoshihito Toyama Automated Proofs of Unique Normal Forms w.r.t. Conversion for Term Rewriting Systems. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alireza Ensan, Eugenia Ternovska A Language-Independent Framework for Reasoning About Preferences for Declarative Problem Solving. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hans Kleine Büning, Piotr Wojciechowski 0002, R. Chandrasekaran, K. Subramani 0001 Restricted Cutting Plane Proofs in Horn Constraint Systems. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller A CDCL-Style Calculus for Solving Non-linear Constraints. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Manuel Eberl Verifying Randomised Social Choice. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giles Reger, Martin Riener, Martin Suda 0001 Symmetry Avoidance in MACE-Style Finite Model Finding. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Franz Baader, Andreas Ecke, Gabriele Kern-Isberner, Marco Wilhelm The Complexity of the Consistency Problem in the Probabilistic Description Logic ℒME. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mnacho Echenim, Nicolas Peltier, Yanis Sellami Ilinva: Using Abduction to Generate Loop Invariants. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ralph Bottesch, Max W. Haslbeck, René Thiemann Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Silvio Ghilardi, Alessandro Gianola Interpolation, Amalgamation and Combination (The Non-disjoint Signatures Case). Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marco Voigt The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals Is Decidable. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Simon Cruanes Superposition with Structural Induction. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Anela Lolic First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christoph Wernhard The Boolean Solution Problem from the Perspective of Predicate Logic. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franz Baader A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthias Naaf, Florian Frohn, Marc Brockschmidt, Carsten Fuhs, Jürgen Giesl Complexity Analysis for Term Rewriting by Integer Transition Systems. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho On Solving Nominal Fixpoint Equations. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Clare Dixon, Marcelo Finger (eds.) Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jens Claßen, Benjamin Zarrieß Decidable Verification of Decision-Theoretic Golog. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds 0001, Cesare Tinelli, Dejan Jovanovic, Clark W. Barrett Designing Theory Solvers with Extensions. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kentaro Kikuchi, Takahito Aoto 0001, Yoshihito Toyama Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost Metric Temporal Description Logics with Interval-Rigid Names. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhengbing Bian, Fabián A. Chudak, William G. Macready, Aidan Roy, Roberto Sebastiani, Stefano Varotti Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Julian Biendarra, Jasmin Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, Johannes Hölzl, Ondrej Kuncar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu 0001, Christian Sternagel, René Thiemann, Dmitriy Traytel Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan Using Ontologies to Query Probabilistic Numerical Data. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jelena Vlasenko, Volker Haarslev, Brigitte Jaumard Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlos Caleiro, Sérgio Marcelino, João Marcos 0001 Merging Fragments of Classical Logic. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Çigdem Gencer Finitariness of Elementary Unification in Boolean Region Connection Calculus. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm 0001, Xuan-Tung Vu Subtropical Satisfiability. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tobias Philipp An Expressive Model for Instance Decomposition Based Parallel SAT Solvers. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stephan Böhme, Marcel Lippmann Decidable Description Logics of Context with Rigid Roles. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andreas Teucke, Christoph Weidenbach First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Amira Zaki, Slim Abdennadher, Thom W. Frühwirth Combining Forward and Backward Propagation. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Francesco Alberti, Silvio Ghilardi, Natasha Sharygina A New Acceleration-Based Combination Framework for Array Properties. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gábor Alagi, Christoph Weidenbach NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Guillaume Burel, Gilles Dowek, Ying Jiang A Completion Method to Decide Reachability in Rewrite Systems. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maximilian Jaroschek, Pablo Federico Dobal, Pascal Fontaine Adapting Real Quantifier Elimination Methods for Conflict Set Computation. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin Axiomatic Constraint Systems for Proof Search Modulo Theories. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Backeman, Philipp Rümmer Free Variables and Theories: Revisiting Rigid E-unification. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sarah Winkler, René Thiemann Formalizing Soundness and Completeness of Unravelings. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen Unification and Matching in Hierarchical Combinations of Syntactic Theories. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tianyi Liang, Nestan Tsiskaridze, Andrew Reynolds 0001, Cesare Tinelli, Clark W. Barrett A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carsten Lutz, Silvio Ranise (eds.) Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings Search on Bibsonomy FroCoS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Franz Baader, Gerhard Brewka, Oliver Fernandez Gil Adding Threshold Concepts to the Description Logic EL. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nik Sultana, Christoph Benzmüller, Lawrence C. Paulson Proofs and Reconstructions. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk, Josef Urban, Jirí Vyskocil Lemmatization for Stronger Reasoning in Large Theories. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jürgen Christ, Jochen Hoenicke Weakly Equivalent Arrays. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Färber 0002, Cezary Kaliszyk Random Forests for Premise Selection. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stefan Borgwardt, Rafael Peñaloza Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paula Daniela Chocron, Pascal Fontaine, Christophe Ringeissen A Rewriting Approach to the Combination of Data Structures with Bridging Theories. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Franz Baader, Benjamin Zarrieß Verification of Golog Programs over Description Logic Actions. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Clara Bertolissi, Silvio Ranise Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Konstantin Korovin From Resolution and DPLL to Solving Arithmetic Constraints. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Franz Baader, Oliver Fernandez Gil, Barbara Morawska 0001 Hybrid Unification in the Description Logic. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Lawrence C. Paulson MetiTarski's Menagerie of Cooperating Systems. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 283 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license