MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 6. Publisher/Author,Editor

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
YearTitleType
Show details for --
Show details for AAAIAAAI
Show details for AAAI Press [http://www.aaai.org/Press/press.html]AAAI Press [http://www.aaai.org/Press/press.html]
Show details for AAAI Press/ MIT PressAAAI Press/ MIT Press
Show details for AAAI [http://www.aaai.org/Press/press.html]AAAI [http://www.aaai.org/Press/press.html]
Show details for AAAI [http://www.aaai.org/]AAAI [http://www.aaai.org/]
Show details for Academic Conferences LimitedAcademic Conferences Limited
Show details for Academic PressAcademic Press
Hide details for Academic Press [http://www.academicpress.com/]Academic Press [http://www.academicpress.com/]
Show details for Anderson, PennyAnderson, Penny
Show details for Basin, David A.Basin, David A.
Hide details for Vorobyov, SergeiVorobyov, Sergei
2002The undecidability of the first-order theories of one step rewriting in linear canonical systems
In: Information and Computation [175], 182-213		Journal Article
Show details for Xia, BicanXia, Bican
Show details for Yang, LuYang, Lu
Show details for Academic Press [http://www.apnet.com/]Academic Press [http://www.apnet.com/]
Show details for Academic Press [http://www.elsevier.com]Academic Press [http://www.elsevier.com]
Show details for ACMACM
Show details for ACM SIAM [http://www.acm.org/pubs/]ACM SIAM [http://www.acm.org/pubs/]
Show details for ACM [http://www.acm.org/pubs/]ACM [http://www.acm.org/pubs/]
Show details for ACM [http://www.acm.org/]ACM [http://www.acm.org/]
Show details for ACTA PressACTA Press
Show details for AG 2 - GanzingerAG 2 - Ganzinger
Show details for Akademie VerlagAkademie Verlag
Show details for ALLIEDALLIED
Show details for AMSAMS
Show details for arendtap Desktop Publishing Agentur, Verlags- und Vertriebs GmbH [/http://www.arendtap.de/]arendtap Desktop Publishing Agentur, Verlags- und Vertriebs GmbH [/http://www.arendtap.de/]
Show details for Association for Symbolic LogicAssociation for Symbolic Logic
Show details for BaltzerBaltzer
Show details for Baltzer [http://www.baltzer.nl/indexnew.asp]Baltzer [http://www.baltzer.nl/indexnew.asp]

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