MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Frontiers of Combining Systems" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

15 documents found, showing 1 through 10. Next 10 →

ATOM

P.: Handling Differential Equations with Constraints for Decision Support. Frontiers of Combining
by Jorge Cruz, Pedro Barahona — 2000 — Ringeissen (Eds.), Proceedings of FroCoS’2000, Frontiers of Combining Systems
…,pb}@(email omitted); Abstract. The behaviour of many systems is naturally modelled by a set of ordinary differential equations…
Cited by 4 (4 self) – Add To MetaCart

CLP(χ) for Automatically Proving Program Properties
by F. Mesnard, S. Hoarau, A. Maillard — 1994
… of this paper was presented at the workshop "Frontiers of Combining Systems", Munich, March 1996. Address…
Add To MetaCart

Cv
by Advisor Prof, Leo Bachmair, Ashish Tiwari, Ashish Tiwari
… Closure modulo Associativity-Commutativity", To appear in Workshop on Frontiers of Combining Systems, Fro…
Add To MetaCart

Towards Provably Correct System Synthesis And Extension
by C. Talcott, Reasoning Theories Towards, A. Armando, F. Giunchiglia, F. Giunchiglia, P. Pecchiari, P. Pecchiari, R. Overbeek — 1996
… (short version) in Proc. First International Workshop Frontiers on Combining Systems, March 26…
Add To MetaCart

Attended Summer Schools
by Grundschule Oberhaching (primary School — 2000
… Gramlich, editor, 5th International Workshop on Frontiers of Combining Systems, FroCoS’05, Vienna, Austria…
Add To MetaCart

Compiling Multi-Paradigm Declarative Programs into Prolog
by Sergio Antoy, Michael Hanus — 2000 — In Proc. International Workshop on Frontiers of Combining Systems (FroCoS’2000
… on Frontiers of Combining Systems, FroCoS 2000, Nancy. Springer LNCS 1794, pp. 171-185, 2000 Abstract…
Cited by 51 (34 self) – Add To MetaCart

Reasoning Theories - Towards an Architecture for Open Mechanized Reasoning Systems
by Fausto Giunchiglia, Paolo Pecchiari, Carolyn Talcott — 1994
… on Frontiers of Combining Systems (FroCoS'96), F. Baader and K.U. Shultz (Eds.), Kluwer Series on Applied Logic…
Cited by 45 (11 self) – Add To MetaCart

Symbolic Computation: Computer Algebra and Logic
by Bruno Buchberger — 1996 — Frontiers of Combining Systems, Applied Logic Series
… provers, theorem generators, theorem checkers, : : : Invited talk at the "Frontiers of Combining…
Cited by 21 (1 self) – Add To MetaCart

Systems
by Jacques Calmet, Karsten Homann — 1996
… of Combining Systems (FroCoS'96), Munich, Kluwer Series on Applied Logic, pp. 133-- 146, 1996. CLASSIFICATION…
Cited by 10 (4 self) – Add To MetaCart

From the AAR President, Larry Wos...
by Maiora Meliora This, Geoff Sutcliffe
… generated proofs. In Proceedings of the Conference on Frontiers of Combining Systems. Kluwer, 1996. [4] R…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB