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
Show details for RewritingRewriting
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
Show details for search problemssearch problems
Show details for second-order logicsecond-order logic
Show details for second-order quantifier eliminationsecond-order quantifier elimination

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