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
Hide details for Centro de 'Algebra da Universidade de LisboaCentro de 'Algebra da Universidade de Lisboa
Hide details for Sofronie-Stokkermans, VioricaSofronie-Stokkermans, Viorica
1999Priestley representation for distributive lattices with operators and applications to automated theorem proving
In: Dualities, Interpretability and Ordered Structures, 43-54		Proceedings Article
Hide 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/]
Hide details for Freiheit, JörnFreiheit, Jörn
2006Using BPEL processes defined by Event-driven Process Chains
In: 5. GI-Workshop "EPK 2006 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten", 121-135		Proceedings Article
Hide details for Olbrich, SebastianOlbrich, Sebastian
2006Using BPEL processes defined by Event-driven Process Chains
In: 5. GI-Workshop "EPK 2006 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten", 121-135		Proceedings Article
Hide details for Simon, CarloSimon, Carlo
2006Using BPEL processes defined by Event-driven Process Chains
In: 5. GI-Workshop "EPK 2006 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten", 121-135		Proceedings Article
Hide details for CEUR [http://CEUR-WS.org/]CEUR [http://CEUR-WS.org/]
Hide details for de Nivelle, Hansde Nivelle, Hans
2003Attachment IconSubsumption of Concepts in $FL_0$ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete
In: 2003 International Workshop on Description Logics (DL-03), 56-64		Proceedings Article
Hide details for Kazakov, YevgenyKazakov, Yevgeny
2003Attachment IconSubsumption of Concepts in $FL_0$ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete
In: 2003 International Workshop on Description Logics (DL-03), 56-64		Proceedings Article
Hide details for CEUR [http://ceur-ws.org]CEUR [http://ceur-ws.org]
Hide details for Hillenbrand, ThomasHillenbrand, Thomas
2004Attachment IconA Superposition View on Nelson-Oppen
In: Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 16-20		Electronic Proceedings Article
Hide details for CEUR [http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/]CEUR [http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/]
Hide details for Georgieva, LiliaGeorgieva, Lilia
2002On the Relationship Between Decidable Fragments, Non-Classical Logics, and Description Logics
In: Proceedings of the International Workshop on Description Logics (DL'2002), 25-36		Proceedings Article
Hide details for Hustadt, UllrichHustadt, Ullrich
2002On the Relationship Between Decidable Fragments, Non-Classical Logics, and Description Logics
In: Proceedings of the International Workshop on Description Logics (DL'2002), 25-36		Proceedings Article
Hide details for Schmidt, Renate A.Schmidt, Renate A.
2002On the Relationship Between Decidable Fragments, Non-Classical Logics, and Description Logics
In: Proceedings of the International Workshop on Description Logics (DL'2002), 25-36		Proceedings Article
Hide details for Commission of the European CommunitiesCommission of the European Communities
Hide details for Cunningham, J.Cunningham, J.
1991Towards the MEDLAR Framework
In: ESPRIT '91 Conference Proceedings, 822-841		Proceedings Article
Hide details for Gabbay, Dov M.Gabbay, Dov M.
1991Towards the MEDLAR Framework
In: ESPRIT '91 Conference Proceedings, 822-841		Proceedings Article

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