MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
1
Show details for Ianni, Giovambattista (ed.)Ianni, Giovambattista (ed.)
1
Show details for Ida, Tetsuo (ed.)Ida, Tetsuo (ed.)
1
Show details for Ito, Takayasu (ed.)Ito, Takayasu (ed.)
1
Show details for Ito, T. (ed.)Ito, T. (ed.)
1
Show details for Iturrioz, LuisaIturrioz, Luisa
2
Show details for Iturrioz, Luisa (ed.)Iturrioz, Luisa (ed.)
4
Show details for Jacobs, SwenJacobs, Swen
4
Show details for Jacquemard, FlorentJacquemard, Florent
23
Show details for Jaeger, ManfredJaeger, Manfred
1
Show details for Jaffar, Joxan (ed.)Jaffar, Joxan (ed.)
1
Show details for Jamshidi, Mohammad (ed.)Jamshidi, Mohammad (ed.)
1
Show details for Jancar, Petr (ed.)Jancar, Petr (ed.)
1
Show details for Jantke, Klaus (ed.)Jantke, Klaus (ed.)
1
Show details for Jarrar, Mustafa (ed.)Jarrar, Mustafa (ed.)
1
Show details for Jaulin, LucJaulin, Luc
2
Show details for Jaume, MathieuJaume, Mathieu
1
Show details for Jensen, KurtJensen, Kurt
1
Show details for Jensen, Kurt (ed.)Jensen, Kurt (ed.)
1
Show details for Jeusfeld, Manfred A. (ed.)Jeusfeld, Manfred A. (ed.)
1
Show details for Johann, PatriciaJohann, Patricia
1
Show details for John Bell (ed.)John Bell (ed.)
1
Show details for Jones, Robert B. (ed.)Jones, Robert B. (ed.)
1
Show details for Josephs, BertholdJosephs, Berthold
3
Hide details for Jouannaud, Jean-Pierre (ed.)Jouannaud, Jean-Pierre (ed.)
1994Bachmair, Leo
Ganzinger, Harald		Buchberger's algorithm: a constraint-based completion procedure
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 285-301		Proceedings Article
1994Barth, PeterSimplifying Clausal Satisfiability Problems
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 19-33		Proceedings Article
1994[Johann, Patricia]
Socher-Ambrosius, Rolf		Solving Simplificating Ordering Constraints
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 352-367		Proceedings Article
1
Show details for Juilland, Jacques (ed.)Juilland, Jacques (ed.)
1
Show details for Jung, GeorgJung, Georg
1
Show details for Kaelbling, Leslie (ed.)Kaelbling, Leslie (ed.)

Next Page