Showing 1 - 2 results of 2 for search 'Möller, Bernhard', query time: 0.01s
Refine Results
-
1
Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /
Published 1995Other Authors: “…Möller, Bernhard, 1953-…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading… -
2
Higher-order algebra, logic and term rewriting /
Published 1996Other Authors:Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Formal languages
Lenguajes formales
Logics and meanings of programs
Lógica matemática
Lógica y significado de programas
Mathematical logic
Analysis of algorithms and problem complexity
Análisis de algoritmos y problemas de complejidad
Ingeniería de software
Programación-Técnicas
Programming techniques
Software engineering