MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
1
Show details for O'Leary, John (ed.)O'Leary, John (ed.)
1
Show details for Oevel, WalterOevel, Walter
29
Show details for Ohlbach, Hans JürgenOhlbach, Hans Jürgen
5
Show details for Ohlbach, Hans Jürgen (ed.)Ohlbach, Hans Jürgen (ed.)
1
Show details for Ohori, Atsushi (ed.)Ohori, Atsushi (ed.)
1
Show details for Okada, M. (ed.)Okada, M. (ed.)
1
Show details for Olbrich, SebastianOlbrich, Sebastian
1
Show details for Oliveras, AlbertOliveras, Albert
1
Show details for Ong, Luke (ed.)Ong, Luke (ed.)
1
Show details for Orejas, FernandoOrejas, Fernando
1
Show details for Orejas, Fernando (ed.)Orejas, Fernando (ed.)
4
Hide details for Orlowska, Ewa (ed.)Orlowska, Ewa (ed.)
2003Sofronie-Stokkermans, VioricaAttachment IconRepresentation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving
In: Beyond Two: Theory and Applications of Multiple Valued Logic, 59-100		Part of a Book
2000[Iturrioz, Luisa]
Sofronie-Stokkermans, Viorica		SHn-algebras (Symmetric Heyting algebras of order n)
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-11		Part of a Book
2000Sofronie-Stokkermans, VioricaSome properties of Kleene algebras
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-7		Part of a Book
1999Nonnengart, Andreas
[Szalas, Andrzej]		A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory
In: Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, 18		Part of a Book
1
Show details for Orłowska, EwaOrłowska, Ewa
1
Show details for Pacholski, LeszekPacholski, Leszek
1
Show details for Pacholski, Leszek (ed.)Pacholski, Leszek (ed.)
1
Show details for Palamidessi, Catuscia (ed.)Palamidessi, Catuscia (ed.)
2
Show details for Palm, Günther (ed.)Palm, Günther (ed.)
1
Show details for Palm, R. (ed.)Palm, R. (ed.)
2
Show details for Palsberg, Jens (ed.)Palsberg, Jens (ed.)
1
Show details for Panetto, Herve (ed.)Panetto, Herve (ed.)
1
Show details for Pang, JunPang, Jun
1
Show details for Papadimitriou, ChristosPapadimitriou, Christos
1
Show details for Parigot, Michel (ed.)Parigot, Michel (ed.)
2
Show details for Parsons, Simon (ed.)Parsons, Simon (ed.)
1
Show details for Patel-Schneider, Peter F. (ed.)Patel-Schneider, Peter F. (ed.)
2
Show details for Paulson, Lawrence C. (ed.)Paulson, Lawrence C. (ed.)

Next Page