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 Rybalchenko, AndreyRybalchenko, Andrey
Show details for Tan, Yao-HuaTan, Yao-Hua
Show details for van der Torre, Leendert W. N.van der Torre, Leendert W. N.
Show details for Vardi, MosheVardi, Moshe
Show details for Vorobyov, SergeiVorobyov, Sergei
Show details for Voronkov, AndreiVoronkov, Andrei
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]
Show details for Books on Demand GmbHBooks on Demand GmbH
Show details for Böttcher IT [http://www.webki.de/ki/Thema/arendtapVerlag.htm]Böttcher IT [http://www.webki.de/ki/Thema/arendtapVerlag.htm]
Show details for Cambridge University PressCambridge University Press
Show details for can be obtained from my homepagecan be obtained from my homepage
Show details for Center for the Study of Language and Information [http://www-csli.stanford.edu/]Center for the Study of Language and Information [http://www-csli.stanford.edu/]
Show details for Centro de 'Algebra da Universidade de LisboaCentro de 'Algebra da Universidade de Lisboa
Show details for CEUR Workshop Proceedings [http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/]CEUR Workshop Proceedings [http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/]
Show details for CEUR [http://CEUR-WS.org/]CEUR [http://CEUR-WS.org/]
Show details for CEUR [http://ceur-ws.org]CEUR [http://ceur-ws.org]
Show details for CEUR [http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/]CEUR [http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/]
Show details for Commission of the European CommunitiesCommission of the European Communities
Show details for Computational Lingustics, Universität des SaarlandesComputational Lingustics, Universität des Saarlandes

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