MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index

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
#YearAuthor(s) [non member]Editor(s) [non member]TitleType
1
Show details for Faber, JohannesFaber, Johannes
1
Show details for Faller, Martina (ed.)Faller, Martina (ed.)
2
Show details for Fariñas del Cerro, Luís (ed.)Fariñas del Cerro, Luís (ed.)
1
Show details for Fathi, Madjid (ed.)Fathi, Madjid (ed.)
1
Show details for Fawcett, Tom (ed.)Fawcett, Tom (ed.)
4
Show details for Fehrer, DetlefFehrer, Detlef
1
Show details for Felleisen, Matthias (ed.)Felleisen, Matthias (ed.)
1
Show details for Feng, Ling (ed.)Feng, Ling (ed.)
1
Show details for Fermüller, Christian G.Fermüller, Christian G.
1
Show details for Fermüller, Christian (ed.)Fermüller, Christian (ed.)
2
Show details for Ferrante, Jeanne (ed.)Ferrante, Jeanne (ed.)
1
Show details for Ferreirim, Isabel (ed.)Ferreirim, Isabel (ed.)
1
Show details for Fiedler, Herbert (ed.)Fiedler, Herbert (ed.)
1
Show details for Filinski, Andrzej (ed.)Filinski, Andrzej (ed.)
1
Show details for Finkbeiner, BerndFinkbeiner, Bernd
1
Show details for Firozabadhi, Babak SadighiFirozabadhi, Babak Sadighi
2
Show details for Fischmann, MatthiasFischmann, Matthias
1
Show details for Fitting, Melvin (ed.)Fitting, Melvin (ed.)
1
Show details for Fitzgerald, John (ed.)Fitzgerald, John (ed.)
1
Show details for Flesca, Sergio (ed.)Flesca, Sergio (ed.)
1
Show details for Flum, Jörg (ed.)Flum, Jörg (ed.)
1
Show details for Foo, N. (ed.)Foo, N. (ed.)
1
Hide details for Franconi, Enrico (ed.)Franconi, Enrico (ed.)
2003Kazakov, Yevgeny
de Nivelle, Hans		[Calvanese, Diego]
[De Giacomo, Giuseppe]
[Franconi, Enrico]		Attachment 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
3
Show details for Frank, IanFrank, Ian
1
Show details for Frank, Jeremy (ed.)Frank, Jeremy (ed.)
7
Show details for Freiheit, JörnFreiheit, Jörn
1
Show details for Freuder, Eugene (ed.)Freuder, Eugene (ed.)
2
Show details for Fribourg, Laurent (ed.)Fribourg, Laurent (ed.)
3
Show details for Friedrich, StefanFriedrich, Stefan

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