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

MPI-INF RG1 Publications

MPI-INF RG1 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 Abelian GroupsAbelian Groups
Show details for Abelian MonoidsAbelian Monoids
Show details for algebraalgebra
Show details for AND-Inverter GraphsAND-Inverter Graphs
Show details for ArithmeticArithmetic
Show details for automated deductionautomated deduction
Show details for Automated ProvingAutomated Proving
Show details for Automated ReasoningAutomated Reasoning
Show details for Automated Theorem ProvingAutomated Theorem Proving
Show details for Automatic Authorization AnalysisAutomatic Authorization Analysis
Show details for Automatic Theorem ProvingAutomatic Theorem Proving
Show details for Automatic VerificationAutomatic Verification
Show details for BenchmarksBenchmarks
Show details for Bitvector ReasoningBitvector Reasoning
Show details for Business processesBusiness processes
Show details for cancellative abelian monoidscancellative abelian monoids
Show details for ChainingChaining
Show details for Combination of theoriesCombination of theories
Show details for combination procedurescombination procedures
Show details for Combinations of decision proceduresCombinations of decision procedures
Show details for Combinations of TheoriesCombinations of Theories
Show details for ConfigurationConfiguration
Show details for Constraint clausesConstraint clauses
Show details for Controller synthesisController synthesis
Show details for DecidabilityDecidability
Show details for decision problemdecision problem
Show details for Decision procedureDecision procedure
Show details for decision proceduresdecision procedures
Show details for Description LogicDescription Logic
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 EqualityEquality
Show details for Equational ReasoningEquational Reasoning
Show details for event-driven process chainsevent-driven process chains
Show details for Finitely-valued logicsFinitely-valued logics
Show details for first-order logicfirst-order logic
Show details for First-Order Model CheckingFirst-Order Model Checking
Show details for first-order theorem provingfirst-order theorem proving
Show details for Fixed Domain SemanticsFixed Domain Semantics
Show details for FO-AIGFO-AIG
Show details for formal specicationformal speci cation
Show details for Formal verificationFormal verification
Show details for hierarchic theorem provinghierarchic theorem proving
Show details for Hierarchical reasoningHierarchical reasoning
Show details for Human Computer InteractionHuman Computer Interaction
Show details for Hybrid SystemsHybrid Systems
Show details for Implementation of LogicsImplementation of Logics
Show details for Inductionless InductionInductionless Induction
Show details for Inductive invariantsInductive invariants
Show details for inductive reasoninginductive reasoning
Show details for Input TechniquesInput Techniques
Show details for Instance GenerationInstance Generation
Show details for InstantiationInstantiation
Show details for InternationalizationInternationalization
Show details for Kripke modelsKripke models
Show details for Lattice TheoryLattice Theory
Show details for Local ReasoningLocal Reasoning
Show details for LocalityLocality
Show details for Lyapunov functionsLyapunov functions
Show details for Mass action kineticsMass action kinetics
Show details for Minimal Model SemanticsMinimal Model Semantics
Show details for modal logicmodal logic
Show details for Model BuildingModel Building
Show details for Model CheckingModel Checking
Show details for modellingmodelling
Show details for modularitymodularity
Show details for network protocolsnetwork protocols
Show details for Non-classical logicNon-classical logic
Show details for Non-classical logicsNon-classical logics
Show details for ordered resolutionordered resolution
Show details for OscillationsOscillations
Show details for paramodulationparamodulation
Show details for Priestley dualityPriestley duality
Show details for Primal Partial InstantiationPrimal Partial Instantiation
Show details for probabilistic timed automataprobabilistic timed automata
Show details for Proof by ConsistencyProof by Consistency
Show details for Proof ComplexityProof Complexity
Show details for Proof TheoryProof Theory
Show details for Propositional Linear Temporal LogicPropositional Linear Temporal Logic
Show details for Propositional linear temporal logic (PLTL)Propositional linear temporal logic (PLTL)
Show details for QuantifiersQuantifiers
Show details for Real GeometryReal Geometry
Show details for Real Quantifier EliminationReal Quantifier Elimination
Show details for refutational theorem provingrefutational theorem proving
Show details for ResolutionResolution
Show details for Resolution-based Instance GenerationResolution-based Instance Generation
Show details for RewritingRewriting
Show details for Rule-based SystemsRule-based Systems
Show details for SafetySafety
Show details for SAP R/3SAP R/3
Show details for SAP R/3 authorization verification business policiesSAP R/3 authorization verification business policies
Show details for Satisfiability Modulo TheorySatisfiability Modulo Theory
Show details for SaturationSaturation
Show details for saturation-based theorem provingsaturation-based theorem proving
Show details for Semantic guidanceSemantic guidance
Show details for set-of-support strategyset-of-support strategy
Show details for SMTSMT
Show details for SpecificationSpecification
Show details for StabilityStability
Show details for SuperpositionSuperposition
Show details for syntactic completeness proofsyntactic completeness proof
Show details for System VerificationSystem Verification
Show details for term rewritingterm rewriting
Show details for TerminationTermination
Show details for Theorem ProvingTheorem Proving
Show details for Theory ExtensionsTheory Extensions
Show details for timed automatatimed automata
Show details for Totally Ordered Divisible Abelian GroupsTotally Ordered Divisible Abelian Groups
Show details for UnificationUnification
Show details for Unique RepresentationUnique Representation
Show details for Universal algebraUniversal algebra
Show details for user-interfaceuser-interface
Show details for Variable EliminationVariable Elimination
Show details for VerificationVerification
Show details for Verification of softwareVerification of software
Show details for verication methodsveri cation methods
Show details for (Not Categorized)(Not Categorized)

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