International Conference on Algebraic and Logic Programming, Hanus, Michael, Rodríguez Artalejo, M. (Mario)
Springer
|
Michael Hanus, Hanus, Michael, Heering, J., Meinke, Karl
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
|
International Conference on Algebraic and Logic Programming, Levi, Giorgio, 1942-, Rodríguez Artalejo, M. (Mario)
Springer-Verlag
|
Grabowski, Jan, Lescanne, Pierre, International Workshop on Algebraic and Logic Programming, Wechler, Wolfgang, 1940-
Springer-Verlag
|
Heering, Heering, J., Meinke, Karl, Möller, Bernhard, Nipkow, Tobias
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
|
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Heering, J
Springer-Verlag
|
Dowek, Dowek, Gilles, Heering, J., Meinke, Karl, Möller, Bernhard
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
|
LPNMR, Dix, J. (Jürgen), 1961-, Furbach, Ulrich, Nerode, Anil, 1932-
Springer
|
Kirchner, Hélène, Levi, Giorgio, 1942-, International Conference on Algebraic and Logic Programming
Springer-Verlag
|
LPNMR, Gelfond, Michael, Leone, Nicola, Pfeifer, Gerald
Springer
|
International Conference on Algebraic and Logic Programming, Kirchner, Hélène, Wechler, Wolfgang, 1940-
Springer-Verlag
|
International Symposium, PLILP, Palamidessi, Catuscia, Glaser, Hugh, Meinke, Karl
Springer
|