Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings (Englisch)
- Neue Suche nach: Basin, David
- Neue Suche nach: Basin, David
- Neue Suche nach: Rusinowitch, Michaël
2004
-
ISBN:
- Konferenzband / Elektronische Ressource
-
Titel:Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
-
Beteiligte:Basin, David ( Autor:in ) / Rusinowitch, Michaël
-
Kongress:IJCAR 2004 ; 2 ; 2004 ; Cork
International Joint Conference on Automated Reasoning ; 2 ; 2004 ; Cork -
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin , Heidelberg
-
Erscheinungsdatum:2004
-
Format / Umfang:Online-Ressource (XII, 493 p. Also available online)
-
Anmerkungen:digital
-
ISBN:
-
DOI:
-
Medientyp:Konferenzband
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 006.3 / 510
- Weitere Informationen zu Dewey Decimal Classification
- Neue Suche nach: 00B25 / 68T15 / *68-06
- Weitere Informationen zu Mathematics Subject Classification
- Neue Suche nach: 54.71
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Invited Talk: Rewriting Logic Semantics: From Language Specifications to Formal Analysis ToolsMeseguer, J. / Rosu, G. et al. | 2004
- 45
-
A Redundancy Criterion Based on Ground Reducibility by Ordered RewritingLochner, B. et al. | 2004
- 60
-
Efficient Checking of Term Ordering ConstraintsRiazanov, A. / Voronkov, A. et al. | 2004
- 75
-
Improved Modular Termination Proofs Using Dependency PairsThiemann, R. / Giesl, J. / Schneider-Kamp, P. et al. | 2004
- 91
-
Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite ClosureGodoy, G. / Tiwari, A. et al. | 2004
- 107
-
Redundancy Notions for Paramodulation with Non-monotonic OrderingsBofill, M. / Rubio, A. et al. | 2004
- 122
-
A Resolution Decision Procedure for the Guarded Fragment with Transitive GuardsKazakov, Y. / de Nivelle, H. et al. | 2004
- 137
-
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive ConjecturesSteel, G. / Bundy, A. / Maidl, M. et al. | 2004
- 152
-
Decision Procedures for Recursive Data Structures with Integer ConstraintsZhang, T. / Sipma, H. B. / Manna, Z. et al. | 2004
- 168
-
Modular Proof Systems for Partial Functions with Weak EqualityGanzinger, H. / Sofronie-Stokkermans, V. / Waldmann, U. et al. | 2004
- 183
-
A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal LogicsBaader, F. / Ghilardi, S. / Tinelli, C. et al. | 2004
- 198
-
Using Automated Theorem Provers to Certify Auto-Generated Aerospace SoftwareDenney, E. / Fischer, B. / Schumann, J. et al. | 2004
- 213
-
ARGO-LIB: A Generic Platform for Decision ProceduresMaric, F. / Janicic, P. et al. | 2004
- 218
-
The ICS Decision Procedures for Embedded Deductionde Moura, L. / Owre, S. / Ruess, H. / Rushby, J. / Shankar, N. et al. | 2004
- 223
-
System Description: E 0.81Schulz, S. et al. | 2004
- 229
-
Invited Talk: Second-Order Logic over Finite Structures - Report on a Research ProgrammeGottlob, G. et al. | 2004
- 244
-
Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered DomainsGil, A. J. / Hermann, M. / Salzer, G. / Zanuttini, B. et al. | 2004
- 259
-
PDL with Negation of Atomic ProgramsLutz, C. / Walther, D. et al. | 2004
- 274
-
Counter-Model Search in Godel-Dummett LogicsLarchey-Wendling, D. et al. | 2004
- 289
-
Generalised Handling of Variables in Disconnection TableauxLetz, R. / Stenz, G. et al. | 2004
- 307
-
Chain Resolution for the Semantic WebTammet, T. et al. | 2004
- 321
-
Sonic - Non-standard Inferences Go OilEdTurhan, A.-Y. / Kissig, C. et al. | 2004
- 326
-
TeMP: A Temporal Monodic ProverHustadt, U. / Konev, B. / Riazanov, A. / Voronkov, A. et al. | 2004
- 331
-
Dr.Doodle: A Diagrammatic Theorem ProverWinterstein, D. / Bundy, A. / Gurr, C. et al. | 2004
- 336
-
Invited Talk: Solving Constraints by Elimination MethodsWeispfenning, V. et al. | 2004
- 342
-
Analyzing Selected Quantified Integer ProgramsSubramani, K. et al. | 2004
- 357
-
Formalizing O Notation in Isabelle/HOLAvigad, J. / Donnelly, K. et al. | 2004
- 372
-
Experiments on Supporting Interactive Proof Using ResolutionMeng, J. / Paulson, L. C. et al. | 2004
- 385
-
A Machine-Checked Formalization of the Generic Model and the Random Oracle ModelBarthe, G. / Cederquist, J. / Tarento, S. et al. | 2004
- 400
-
Automatic Generation of Classification Theorems for Finite AlgebrasColton, S. / Meier, A. / Sorge, V. / McCasland, R. et al. | 2004
- 415
-
Efficient Algorithms for Computing Modulo Permutation TheoriesAvenhaus, J. et al. | 2004
- 430
-
Overlapping Leaf Permutative Equationsde la Tour, T. B. / Echenim, M. et al. | 2004
- 445
-
TaMeD: A Tableau Method for Deduction ModuloBonichon, R. et al. | 2004
- 460
-
Lambda LogicBeeson, M. et al. | 2004
- 475
-
Formalizing Undefinedness Arising in CalculusFarmer, W. M. et al. | 2004
- 490
-
The CADE ATP System CompetitionSutcliffe, G. / Suttner, C. et al. | 2004