default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/frocos/frocos2000.bht:"
download as .bib file
@inproceedings{DBLP:conf/frocos/AntoyH00,
author = {Sergio Antoy and
Michael Hanus},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Compiling Multi-Paradigm Declarative Programs into Prolog},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {171--185},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_12},
doi = {10.1007/10720084\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/AntoyH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ArmandoR00,
author = {Alessandro Armando and
Silvio Ranise},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Termination of Constraint Contextual Rewriting},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {47--61},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_4},
doi = {10.1007/10720084\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ArmandoR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BaaderT00,
author = {Franz Baader and
Cesare Tinelli},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Combining Equational Theories Sharing Non-Collapse-Free Constructors},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {260--274},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_17},
doi = {10.1007/10720084\_17},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BaaderT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BachmairRTV00,
author = {Leo Bachmair and
I. V. Ramakrishnan and
Ashish Tiwari and
Laurent Vigneron},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Congruence Closure Modulo Associativity and Commutativity},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {245--259},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_16},
doi = {10.1007/10720084\_16},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BachmairRTV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BockmayrE00,
author = {Alexander Bockmayr and
Friedrich Eisenbrand},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Combining Logic and Optimization in Cutting Plane Theory},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {1--17},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_1},
doi = {10.1007/10720084\_1},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/BockmayrE00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BofillGNR00,
author = {Miquel Bofill and
Guillem Godoy and
Robert Nieuwenhuis and
Albert Rubio},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Modular Redundancy for Theorem Proving},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {186--199},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_13},
doi = {10.1007/10720084\_13},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BofillGNR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CoglioGMT00,
author = {Alessandro Coglio and
Fausto Giunchiglia and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Composing and Controlling Search in Reasoning Theories Using Mappings},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {200--216},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_14},
doi = {10.1007/10720084\_14},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/CoglioGMT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CruzB00,
author = {Jorge Cruz and
Pedro Barahona},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Handling Differential Equations with Constraints for Decision Support},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {105--120},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_8},
doi = {10.1007/10720084\_8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/CruzB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/DovierPP00,
author = {Agostino Dovier and
Carla Piazza and
Alberto Policriti},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Comparing Expressiveness of Set Constructor Symbols},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {275--289},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_18},
doi = {10.1007/10720084\_18},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/DovierPP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Dowek00,
author = {Gilles Dowek},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Axioms vs. Rewrite Rules: From Completeness to Cut Elimination},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {62--72},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_5},
doi = {10.1007/10720084\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Dowek00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Granvilliers00,
author = {Laurent Granvilliers},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Towards Cooperative Interval Narrowing},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {18--31},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_2},
doi = {10.1007/10720084\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Granvilliers00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/HustadtDSF00,
author = {Ullrich Hustadt and
Clare Dixon and
Renate A. Schmidt and
Michael Fisher},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Normal Forms and Proofs in Combined Modal and Temporal Logics},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {73--87},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_6},
doi = {10.1007/10720084\_6},
timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/HustadtDSF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Lucio00,
author = {Paqui Lucio},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Structured Sequent Calculi for Combining Intuitionistic and Classical
First-Order Logic},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {88--104},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_7},
doi = {10.1007/10720084\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Lucio00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/MelisZM00,
author = {Erica Melis and
J{\"{u}}rgen Zimmer and
Tobias M{\"{u}}ller},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Integrating Constraint Solving into Proof Planning},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {32--46},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_3},
doi = {10.1007/10720084\_3},
timestamp = {Mon, 06 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/MelisZM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/PollT00,
author = {Erik Poll and
Simon J. Thompson},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Integrating Computer Algebra and Reasoning through the Type System
of Aldor},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {136--150},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_10},
doi = {10.1007/10720084\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/PollT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Schulz00,
author = {Klaus U. Schulz},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Why Combined Decision Problems Are Often Intractable},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {217--244},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_15},
doi = {10.1007/10720084\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Schulz00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Sorge00,
author = {Volker Sorge},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Non-Trivial Symbolic Computations in Proof Planning},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {121--135},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_9},
doi = {10.1007/10720084\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Sorge00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Uribe00,
author = {Tom{\'{a}}s E. Uribe},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Combinations of Model Checking and Theorem Proving},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {151--170},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_11},
doi = {10.1007/10720084\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Uribe00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2000,
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084},
doi = {10.1007/10720084},
isbn = {3-540-67281-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2025-01-09 05:21 CET from data curated 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:
