Publications
Server halma.mpi-inf.mpg.de
Publications
Entries sorted by: 2. Titles of all years
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
| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type | |
|---|---|---|---|---|---|
 | $\forall\exists^\ast$-Equational Theory of Context Unification is $\Pi_1^0$-Hard In: Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS-98), 597-606 | Vorobyov, Sergei | Brim, Lubos Gruska, Jozef Zlatuska, Jirí | 1998 | Proceedings Article |
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)