MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 7. Library - 4. Category, Keywords

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)


Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Author/EditorYearTitleType
Show details for rational treesrational trees
Show details for real numbersreal numbers
Show details for ReasoningReasoning
Show details for recordrecord
Show details for Recursive ProgramsRecursive Programs
Show details for RefinementRefinement
Show details for refutation systemsrefutation systems
Show details for refutational theorem provingrefutational theorem proving
Show details for Region StabilityRegion Stability
Show details for relational grammarrelational grammar
Show details for relational translationrelational translation
Show details for Relaxed plan heuristicRelaxed plan heuristic
Show details for representation problemrepresentation problem
Show details for ResolutionResolution
Show details for Resolution-Based Instance GenerationResolution-Based Instance Generation
Show details for resolution decision proceduresresolution decision procedures
Show details for resolution theorem provingresolution theorem proving
Hide details for RewritingRewriting
Avenhaus, Jürgen
Hillenbrand, Thomas
Löchner, Bernd		2003Attachment IconOn Using Ground Joinable Equations in Equational Theorem Proving
In: Journal of Symbolic Computation [36], 217-233		Journal Article
Waldmann, Uwe2002Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)
In: Journal of Symbolic Computation [33], 831-861		Journal Article
Waldmann, Uwe2002Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)
In: Journal of Symbolic Computation [33], 777-829		Journal Article
Show details for rewriting systemsrewriting systems
Show details for Rigid E-UnificationRigid E-Unification
Show details for rippling terminationrippling termination
Show details for robust controlrobust control
Show details for safety and liveness propertiessafety and liveness properties
Show details for satisfiabilitysatisfiability
Show details for Saturate systemSaturate system
Show details for SaturationSaturation
Show details for search controlsearch control

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)