Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 75 matches
- 1992
- Geoffrey D. Alexander, David A. Plaisted:
Proving Equality Theorems with Hyper-Linking. CADE 1992: 706-710 - Kurt Ammon:
Automatic Proofs in Mathematical Logic and Analysis. CADE 1992: 4-19 - Kurt Ammon:
The SHUNYATA System. CADE 1992: 681-685 - Owen L. Astrachan, Mark E. Stickel:
Caching and Lemmaizing in Model Elimination Theorem Provers. CADE 1992: 224-238 - Franz Baader, Klaus U. Schulz:
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. CADE 1992: 50-65 - Leo Bachmair, Harald Ganzinger, Christopher Lynch, Wayne Snyder:
Basic Paramodulation and Superposition. CADE 1992: 462-476 - Dave Barker-Plummer, Sidney C. Bailin, Andrew S. Merrill:
&: Automated Natural Deduction. CADE 1992: 716-720 - Dave Barker-Plummer, Alex Rothenberg:
The GAZER Theorem Prover. CADE 1992: 726-730 - David A. Basin, Toby Walsh:
Difference Matching. CADE 1992: 295-309 - Mathias Bauer:
An Interval-based Temporal Logic in a Multivalued Setting. CADE 1992: 355-369 - Bernhard Beckert, Stefan Gerberding, Reiner Hähnle, Werner Kernig:
The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics. CADE 1992: 758-760 - Bernhard Beckert, Reiner Hähnle:
An Improved Method for Adding Equality to Free Variable Semantic Tableaux. CADE 1992: 507-521 - Belaid Benhamou, Lakhdar Sais:
Theoretical Study of Symmetries in Propositional Calculus and Applications. CADE 1992: 281-294 - Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz:
Cycle Unification. CADE 1992: 94-108 - K. Blackburn:
A Report in ICL HOL. CADE 1992: 743-747 - Alexandre Boudet:
Unification in Order-Sorted Algebras with Overloading. CADE 1992: 193-207 - Robert S. Boyer, Yuan Yu:
Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor. CADE 1992: 416-430 - Ricardo Caferra, Stéphane Demri:
Semantic Entailment in Non Classical Logics Based on Proofs Found in Classical Logic. CADE 1992: 385-399 - Wilfred Z. Chen:
Tactic-based Theorem Proving and Knowledge-based Forward Chaining: an Experiment with Nuprl and Ontic. CADE 1992: 552-566 - Jawahar Chirimar, Carl A. Gunter, Myra Van Inwegen:
Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker. CADE 1992: 711-715 - Shang-Ching Chou:
A Geometry Theorem Prover for Macintoshes. CADE 1992: 686-690 - Shang-Ching Chou, Xiao-Shan Gao:
Proving Geometry Statements of Constructive Type. CADE 1992: 20-34 - Jim Christian:
Some Termination Criteria for Narrowing and E-Narrowing. CADE 1992: 582-588 - Adam Cichon, Pierre Lescanne:
Polynomial Interpretations and the Complexity of Algorithms. CADE 1992: 139-147 - Edmund M. Clarke, Xudong Zhao:
Analytica - A Theorem Prover in Mathematica. CADE 1992: 761-765 - Anthony G. Cohn:
A Many Sorted Logic with Possibly Empty Sorts. CADE 1992: 633-647 - Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink:
Eves System Description. CADE 1992: 771-775 - Li Dafa:
A Natural Deduction Automated Theorem Proving System. CADE 1992: 668-672 - Nachum Dershowitz, Subrata Mitra, G. Sivakumar:
Decidable Matching for Convergent Systems (Preliminary Version). CADE 1992: 589-602 - Vincent J. Digricoli, Eugene Kochendorfer:
LIM+ Challenge Problems by RUE Hyper-Resolution. CADE 1992: 239-252
skipping 45 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-05-04 06:01 CEST 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