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 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)