Matches in SemOpenAlex for { <https://semopenalex.org/work/W1517599010> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1517599010 abstract "Rewriting.- Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools.- A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting.- Efficient Checking of Term Ordering Constraints.- Improved Modular Termination Proofs Using Dependency Pairs.- Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure.- Saturation-Based Theorem Proving.- Redundancy Notions for Paramodulation with Non-monotonic Orderings.- A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.- Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures.- Combination Techniques.- Decision Procedures for Recursive Data Structures with Integer Constraints.- Modular Proof Systems for Partial Functions with Weak Equality.- A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics.- Verification and Systems.- Using Automated Theorem Provers to Certify Auto-generated Aerospace Software.- argo-lib: A Generic Platform for Decision Procedures.- The ICS Decision Procedures for Embedded Deduction.- System Description: E 0.81.- Reasoning with Finite Structure.- Second-Order Logic over Finite Structures - Report on a Research Programme.- Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains.- Tableaux and Non-classical Logics.- PDL with Negation of Atomic Programs.- Counter-Model Search in Godel-Dummett Logics.- Generalised Handling of Variables in Disconnection Tableaux.- Applications and Systems.- Chain Resolution for the Semantic Web.- Sonic - Non-standard Inferences Go OilEd.- TeMP: A Temporal Monodic Prover.- Dr.Doodle: A Diagrammatic Theorem Prover.- Computer Mathematics.- Solving Constraints by Elimination Methods.- Analyzing Selected Quantified Integer Programs.- Interactive Theorem Proving.- Formalizing O Notation in Isabelle/HOL.- Experiments on Supporting Interactive Proof Using Resolution.- A Machine-Checked Formalization of the Generic Model and the Random Oracle Model.- Combinatorial Reasoning.- Automatic Generation of Classification Theorems for Finite Algebras.- Efficient Algorithms for Computing Modulo Permutation Theories.- Overlapping Leaf Permutative Equations.- Higher-Order Reasoning.- TaMeD: A Tableau Method for Deduction Modulo.- Lambda Logic.- Formalizing Undefinedness Arising in Calculus.- Competition.- The CADE ATP System Competition." @default.
- W1517599010 created "2016-06-24" @default.
- W1517599010 creator A5010375037 @default.
- W1517599010 creator A5025344654 @default.
- W1517599010 date "2004-08-05" @default.
- W1517599010 modified "2023-09-24" @default.
- W1517599010 title "Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings" @default.
- W1517599010 hasPublicationYear "2004" @default.
- W1517599010 type Work @default.
- W1517599010 sameAs 1517599010 @default.
- W1517599010 citedByCount "0" @default.
- W1517599010 crossrefType "book" @default.
- W1517599010 hasAuthorship W1517599010A5010375037 @default.
- W1517599010 hasAuthorship W1517599010A5025344654 @default.
- W1517599010 hasConcept C108710211 @default.
- W1517599010 hasConcept C11413529 @default.
- W1517599010 hasConcept C118615104 @default.
- W1517599010 hasConcept C153269930 @default.
- W1517599010 hasConcept C154690210 @default.
- W1517599010 hasConcept C159718280 @default.
- W1517599010 hasConcept C17435882 @default.
- W1517599010 hasConcept C199360897 @default.
- W1517599010 hasConcept C203265346 @default.
- W1517599010 hasConcept C206880738 @default.
- W1517599010 hasConcept C2524010 @default.
- W1517599010 hasConcept C33923547 @default.
- W1517599010 hasConcept C41008148 @default.
- W1517599010 hasConcept C80444323 @default.
- W1517599010 hasConcept C81721847 @default.
- W1517599010 hasConceptScore W1517599010C108710211 @default.
- W1517599010 hasConceptScore W1517599010C11413529 @default.
- W1517599010 hasConceptScore W1517599010C118615104 @default.
- W1517599010 hasConceptScore W1517599010C153269930 @default.
- W1517599010 hasConceptScore W1517599010C154690210 @default.
- W1517599010 hasConceptScore W1517599010C159718280 @default.
- W1517599010 hasConceptScore W1517599010C17435882 @default.
- W1517599010 hasConceptScore W1517599010C199360897 @default.
- W1517599010 hasConceptScore W1517599010C203265346 @default.
- W1517599010 hasConceptScore W1517599010C206880738 @default.
- W1517599010 hasConceptScore W1517599010C2524010 @default.
- W1517599010 hasConceptScore W1517599010C33923547 @default.
- W1517599010 hasConceptScore W1517599010C41008148 @default.
- W1517599010 hasConceptScore W1517599010C80444323 @default.
- W1517599010 hasConceptScore W1517599010C81721847 @default.
- W1517599010 hasLocation W15175990101 @default.
- W1517599010 hasOpenAccess W1517599010 @default.
- W1517599010 hasPrimaryLocation W15175990101 @default.
- W1517599010 hasRelatedWork W1480260388 @default.
- W1517599010 hasRelatedWork W1483284084 @default.
- W1517599010 hasRelatedWork W1497557854 @default.
- W1517599010 hasRelatedWork W1499915732 @default.
- W1517599010 hasRelatedWork W1508811947 @default.
- W1517599010 hasRelatedWork W1509848970 @default.
- W1517599010 hasRelatedWork W1510003740 @default.
- W1517599010 hasRelatedWork W1512556106 @default.
- W1517599010 hasRelatedWork W1538506032 @default.
- W1517599010 hasRelatedWork W1558816505 @default.
- W1517599010 hasRelatedWork W1584852451 @default.
- W1517599010 hasRelatedWork W1598572838 @default.
- W1517599010 hasRelatedWork W1600091504 @default.
- W1517599010 hasRelatedWork W1747545714 @default.
- W1517599010 hasRelatedWork W1758843996 @default.
- W1517599010 hasRelatedWork W2592839518 @default.
- W1517599010 hasRelatedWork W2916237180 @default.
- W1517599010 hasRelatedWork W2975454041 @default.
- W1517599010 hasRelatedWork W1574793289 @default.
- W1517599010 hasRelatedWork W1799115352 @default.
- W1517599010 isParatext "false" @default.
- W1517599010 isRetracted "false" @default.
- W1517599010 magId "1517599010" @default.
- W1517599010 workType "book" @default.