Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template

Publications Master Template

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 03F0503F05
Show details for 03F2003F20
Show details for 0/1 polytope0/1 polytope
Show details for 2-variable fragment2-variable fragment
Show details for 68000 Assembler68000 Assembler
Show details for 68T1568T15
Show details for Abelian groupsAbelian groups
Show details for Abelian MonoidsAbelian Monoids
Show details for abstract interpretationabstract interpretation
Show details for AbstractionAbstraction
Show details for Agent-based systemsAgent-based systems
Show details for Agent logicAgent logic
Show details for Agent systemsAgent systems
Show details for ALCNALCN
Show details for algebraalgebra
Show details for algebraic logicalgebraic logic
Show details for Algebraic ModelingAlgebraic Modeling
Show details for Algebraic SpecificationAlgebraic Specification
Show details for Algebraic Varieties.Algebraic Varieties.
Show details for algebraische Spezifikationenalgebraische Spezifikationen
Show details for algorithmic invariant theoryalgorithmic invariant theory
Show details for ambient calculusambient calculus
Show details for ambient logicambient logic
Show details for AnalyseAnalyse
Show details for ArrayArray
Show details for Artificial IntelligenceArtificial Intelligence
Show details for Assume-Guarantee ReasoningAssume-Guarantee Reasoning
Show details for asymptotic sta bilityasymptotic sta bility
Show details for Atari STAtari ST
Show details for Automata TheoryAutomata Theory
Show details for Automated DeductionAutomated Deduction
Show details for Automated ReasoningAutomated Reasoning
Show details for Automated Theorem ProvingAutomated Theorem Proving
Show details for Automated theorem proving.Automated theorem proving.
Show details for automatic programmingautomatic programming
Show details for Automatic Theorem ProvingAutomatic Theorem Proving
Show details for Autonomous systemsAutonomous systems
Show details for Axiomatic CompletenessAxiomatic Completeness
Show details for CC
Show details for calculuscalculus
Show details for cancellative abelian monoidscancellative abelian monoids
Show details for case studycase study
Show details for ChainingChaining
Show details for Chvátal rankChvátal rank
Show details for circuit CADcircuit CAD
Show details for circuit designcircuit design
Show details for clausesclauses
Show details for Closed World AssumpationClosed World Assumpation
Show details for co-NPco-NP
Show details for combination procedurescombination procedures
Show details for Combinatorial OptimizationCombinatorial Optimization
Show details for CompletenessCompleteness
Show details for ComplexityComplexity
Show details for complexity analysiscomplexity analysis
Show details for complexity classescomplexity classes
Show details for Complexity theoryComplexity theory
Show details for Compositional VerificationCompositional Verification
Show details for comprehensive Gröbner basescomprehensive Gröbner bases
Show details for comprehensive SAGBI basescomprehensive SAGBI bases
Show details for computational complexitycomputational complexity
Show details for computational linguisticscomputational linguistics
Show details for computer-assisted proofcomputer-assisted proof
Show details for Computer SecurityComputer Security
Show details for ConcurrencyConcurrency
Show details for concurrent constraint programsconcurrent constraint programs
Show details for conditional logicconditional logic
Show details for conservative extensionconservative extension
Show details for Constraint clausesConstraint clauses
Show details for Constraint Logic ProgramsConstraint Logic Programs
Show details for Constraint ProgrammingConstraint Programming
Show details for constraint solvingconstraint solving
Show details for ConstraintsConstraints
Show details for constructive and modal logicsconstructive and modal logics
Show details for ContextContext
Show details for Context unificationContext unification
Show details for control engineeringcontrol engineering
Show details for CoqCoq
Show details for correctnesscorrectness
Show details for correspondence problemcorrespondence problem
Show details for correspondence theorycorrespondence theory
Show details for Cryptographic protocolsCryptographic protocols
Show details for cutting planecutting plane
Show details for cybernetic sys temcybernetic sys tem
Show details for data structuresdata structures
Show details for Database query languagesDatabase query languages
Show details for decidabilitydecidability
Show details for Decidability of logical theoriesDecidability of logical theories
Show details for decidable classesdecidable classes
Show details for decidable first-order fragmentsdecidable first-order fragments
Show details for decidable fragmentsdecidable fragments
Show details for Decision complexity of logical theoriesDecision complexity of logical theories
Show details for decision problemdecision problem
Show details for decision proceduresdecision procedures
Show details for declared logicsdeclared logics
Show details for deduction-based program synthesisdeduction-based program synthesis
Show details for Deduction ProblemDeduction Problem
Show details for deduction theoremdeduction theorem
Show details for deductive program developmentdeductive program development
Show details for deductive systemsdeductive systems
Show details for deductive tableaudeductive tableau
Show details for default logicdefault logic
Show details for Deontic LogicDeontic Logic
Show details for derived rulesderived rules
Show details for Description LogicDescription Logic
Show details for Description LogicsDescription Logics
Show details for diagnosisdiagnosis
Show details for direct searchdirect search
Show details for directed graphsdirected graphs
Show details for Disconnection CalculusDisconnection Calculus
Show details for discrete-time hybrid systemsdiscrete-time hybrid systems
Show details for Distributive LatticesDistributive Lattices
Show details for Distributive Lattices with OperatorsDistributive Lattices with Operators
Show details for divisible torsion-free abelian groupsdivisible torsion-free abelian groups
Show details for doxastic logicdoxastic logic
Show details for dynamic logicdynamic logic
Show details for E-resolutionE-resolution
Show details for E-unificationE-unification
Show details for Edinburgh CLAM systemEdinburgh CLAM system
Show details for elementary closureelementary closure
Show details for entailmententailment
Show details for epistemic logicepistemic logic
Show details for EqualityEquality
Show details for Equational ReasoningEquational Reasoning
Show details for evolutionary algorithmsevolutionary algorithms
Show details for Executable SpecificationsExecutable Specifications
Show details for exponential timeexponential time
Show details for fairnessfairness
Show details for feature constraintsfeature constraints
Show details for finite failurefinite failure
Show details for finite model searchfinite model search
Show details for Finite Tree AutomataFinite Tree Automata
Show details for Finitely-valued logicsFinitely-valued logics
Show details for first-order logicfirst-order logic
Show details for First-Order PolynomialFirst-Order Polynomial
Show details for first-order theorem provingfirst-order theorem proving
Show details for first-order theoriesfirst-order theories
Show details for First ORder LogicFirst ORder Logic
Show details for FO-AIGFO-AIG
Show details for FocalFocal
Show details for formal conceptionformal conception
Show details for formal logicformal logic
Show details for formal metatheoryformal metatheory
Show details for formal synthesisformal synthesis
Show details for formal verificationformal verification
Show details for formalisms for specificationformalisms for specification
Show details for formula solvingformula solving
Show details for Frame CharacterizationFrame Characterization
Show details for FS/sub 0/ systemFS/sub 0/ system
Show details for functional and logic programmingfunctional and logic programming
Show details for Functional ProgrammingFunctional Programming
Show details for functional semanticsfunctional semantics
Show details for functional typesfunctional types
Show details for fuzzy controlfuzzy control
Show details for generic proof systemsgeneric proof systems
Show details for genetic algorithmgenetic algorithm
Show details for GoalsGoals
Show details for graded modal algebragraded modal algebra
Show details for graded modal logicgraded modal logic
Show details for ground entailmentground entailment
Show details for Ground Term RewritingGround Term Rewriting
Show details for guarded fragmentguarded fragment
Show details for Hard DiskHard Disk
Show details for hardware synthesishardware synthesis
Show details for Heuristic SearchHeuristic Search
Show details for Heuristic search planningHeuristic search planning
Show details for hierarchical structurehierarchical structure
Show details for higher-order logichigher-order logic
Show details for higher-order matchinghigher-order matching
Show details for higher-order resolutionhigher-order resolution
Show details for Horn clausesHorn clauses
Show details for Human Computer InteractionHuman Computer Interaction
Show details for Hybrid LanguagesHybrid Languages
Show details for Hybrid SystemHybrid System
Show details for hybrid systemshybrid systems
Show details for ImplementationImplementation
Show details for Implementation of LogicsImplementation of Logics
Show details for independence propertyindependence property
Show details for inductive definitionsinductive definitions
Show details for inductive logic programminginductive logic programming
Show details for inductive proofsinductive proofs
Show details for inductive theorem provinginductive theorem proving
Show details for inference mechanismsinference mechanisms
Show details for Inference ruleInference rule
Show details for Input TechniquesInput Techniques
Show details for Instance Based MethodsInstance Based Methods
Show details for InstitutionInstitution
Show details for Integer programmingInteger programming
Show details for Interactive proof systemsInteractive proof systems
Show details for InternationalizationInternationalization
Show details for Intuitionistic LogicIntuitionistic Logic
Show details for ISABELLEISABELLE
Show details for Isabelle systemIsabelle system
Show details for KL-ONE-type knowledge representationKL-ONE-type knowledge representation
Show details for Knowledge RepresentationKnowledge Representation
Show details for Kripke modelsKripke models
Show details for lambda calculuslambda calculus
Show details for Lattice TheoryLattice Theory
Show details for learninglearning
Show details for learning theorylearning theory
Show details for Linear-time temporal logicLinear-time temporal logic
Show details for Linear DeductionLinear Deduction
Show details for linear logiclinear logic
Show details for LivenessLiveness
Show details for LogicLogic
Show details for Logic and Functional ProgrammingLogic and Functional Programming
Show details for logic programlogic program
Show details for logic programminglogic programming
Show details for logic programslogic programs
Show details for Logic with EqualityLogic with Equality
Show details for logical frameworkslogical frameworks
Show details for Lyapunov functionsLyapunov functions
Show details for Many-Valued LogicsMany-Valued Logics
Show details for mathematical inductionmathematical induction
Show details for membershipmembership
Show details for meta-variablemeta-variable
Show details for metatheoretic facilitiesmetatheoretic facilities
Show details for metavariablesmetavariables
Show details for Method and ToolMethod and Tool
Show details for middle-out reasoningmiddle-out reasoning
Show details for Mixed Integer ProgrammingMixed Integer Programming
Show details for mobile computationmobile computation
Show details for modal algebramodal algebra
Show details for modal and temporal logicsmodal and temporal logics
Show details for Modal LogicModal Logic
Show details for modal logicsmodal logics
Show details for model checkingmodel checking
Show details for model computationmodel computation
Show details for Model Oriented SpecificationModel Oriented Specification
Show details for ModelingModeling
Show details for modularitymodularity
Show details for Multi-Agent SystemsMulti-Agent Systems
Show details for name generationname generation
Show details for NarrowingNarrowing
Show details for natural language semanticsnatural language semantics
Show details for NEXPTIMENEXPTIME
Show details for Non-Classical LogicNon-Classical Logic
Show details for non-classical logicsnon-classical logics
Show details for non-elementary theoriesnon-elementary theories
Show details for non-local clause setsnon-local clause sets
Show details for Non-Monotonic LogicNon-Monotonic Logic
Show details for Non-Symmetric CompletionNon-Symmetric Completion
Show details for Non-Symmetric RewritingNon-Symmetric Rewriting
Show details for nonmonotonic logicnonmonotonic logic
Show details for nontrivial entailment problemsnontrivial entailment problems
Show details for NPNP
Show details for numerical quantifiersnumerical quantifiers
Show details for Object-Oriented ProgrammingObject-Oriented Programming
Show details for optimised functional translationoptimised functional translation
Show details for order localityorder locality
Show details for ordered resolutionordered resolution
Show details for Ordering restrictionsOrdering restrictions
Show details for parallel algorithmsparallel algorithms
Show details for parametrized binomial idealsparametrized binomial ideals
Show details for ParamodulationParamodulation
Show details for partial-CAD.partial-CAD.
Show details for path logicpath logic
Show details for Peirce algebraPeirce algebra
Show details for PeriwinklePeriwinkle
Show details for permutation groupspermutation groups
Show details for photo mask layoutphoto mask layout
Show details for PlanningPlanning
Show details for planning under uncertaintyplanning under uncertainty
Show details for planning (artificial intelligence)planning (artificial intelligence)
Show details for pointer programspointer programs
Show details for pointer verificationpointer verification
Show details for polynomial timepolynomial time
Show details for Predicate AbstractionPredicate Abstraction
Show details for Predicate LogicPredicate Logic
Show details for Preference-based LogicPreference-based Logic
Show details for Priestley DualityPriestley Duality
Show details for Primal Partial InstantiationPrimal Partial Instantiation
Show details for process algebraprocess algebra
Show details for program analysisprogram analysis
Show details for program development rulesprogram development rules
Show details for program synthesisprogram synthesis
Show details for program verificationprogram verification
Show details for ProgrammanalyseProgrammanalyse
Show details for programming calculiprogramming calculi
Show details for Programming LanguagesProgramming Languages
Show details for programming theoryprogramming theory
Show details for proof constructionproof construction
Show details for proof planningproof planning
Show details for proof planning system CLAMproof planning system CLAM
Show details for Proof RuleProof Rule
Show details for proof systemproof system
Show details for proof systemsproof systems
Show details for Proof TheoryProof Theory
Show details for Propositional FormulasPropositional Formulas
Show details for Pseudo-Boolean FunctionsPseudo-Boolean Functions
Show details for Qualitative Decision TheoryQualitative Decision Theory
Show details for quantifier eliminationquantifier elimination
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
Show details for Second-Order UnificationSecond-Order Unification
Show details for semantics of programming languagessemantics of programming languages
Show details for semi-algebraic systemsemi-algebraic system
Show details for Set-based AnalysisSet-based Analysis
Show details for set-based program analysisset-based program analysis
Show details for Set-of-Support DeductionSet-of-Support Deduction
Show details for set constraintsset constraints
Show details for shape analysisshape analysis
Show details for SkolemizationSkolemization
Show details for Software Model CheckingSoftware Model Checking
Show details for sortingsorting
Show details for sorting algorithmssorting algorithms
Show details for StabilityStability
Show details for standard resolution theorem proversstandard resolution theorem provers
Show details for statischstatisch
Show details for Statische AnalyseStatische Analyse
Show details for StorageStorage
Show details for subformula propertysubformula property
Show details for SummariesSummaries
Show details for superpositionsuperposition
Show details for symbolic arithmetical reasoningsymbolic arithmetical reasoning
Show details for TaggingTagging
Show details for teachingteaching
Show details for Temporal LogicTemporal Logic
Show details for term graph rewritingterm graph rewriting
Show details for term orderingterm ordering
Show details for term rewritingterm rewriting
Show details for TerminationTermination
Show details for termination orderstermination orders
Show details for Theorem ProvingTheorem Proving
Show details for theorem proving for non-classical logicstheorem proving for non-classical logics
Show details for theory resolutiontheory resolution
Show details for Total CorrectnessTotal Correctness
Show details for Totally Ordered Divisible Abelian GroupsTotally Ordered Divisible Abelian Groups
Show details for Trace SemanticsTrace Semantics
Show details for transformation to many-sorted logictransformation to many-sorted logic
Show details for Translation ApproachesTranslation Approaches
Show details for translation methodstranslation methods
Show details for Translational MethodsTranslational Methods
Show details for Tree AutomataTree Automata
Show details for tree orderingstree orderings
Show details for Type constraintsType constraints
Show details for type theorytype theory
Show details for TypesTypes
Show details for undecidabilityundecidability
Show details for UnificationUnification
Show details for Universal algebraUniversal algebra
Show details for Update SemanticsUpdate Semantics
Show details for variable eliminationvariable elimination
Show details for verificationverification
Show details for verification.verification.
Show details for verification. theorem provingverification. theorem proving
Show details for VerifikationVerifikation
Show details for weak subsumptionweak subsumption
Show details for XMLXML
Show details for XPathXPath
Show details for {Gomory-Chvátal} cutting plane{Gomory-Chvátal} cutting plane
Show details for (Not Categorized)(Not Categorized)

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