Möller, Bernhard, 1953-
Möller, B. (Bernhard), 1953-
Möller, Bernhard
Bernhard Möller
VIAF ID: 76568908 ( Personal )
Permalink: http://viaf.org/viaf/76568908
Preferred Forms
- 100 0 _ ‡a Bernhard Möller
- 200 _ | ‡a Möller ‡b Bernhard ‡f 1953-....
-
- 100 1 _ ‡a Möller, Bernhard ‡d 1953-
-
-
- 100 1 0 ‡a Möller, Bernhard, ‡d 1953-
- 100 1 _ ‡a Möller, Bernhard, ‡d 1953-...
- 100 1 _ ‡a Möller, Bernhard
-
-
- 100 1 _ ‡a Möller, Bernhard ‡d 1953-..
-
- 100 1 _ ‡a Möller, Bernhard, ‡d 1953-
4xx's: Alternate Name Forms (7)
5xx's: Related Names (7)
- 551 _ _ ‡a Augsburg
- 510 2 _ ‡a ESPRIT Working Group 8533, NADA.
- 510 2 _ ‡a Europäische Kommission NADA Working Group
- 510 2 _ ‡a IFIP TC 2/WG 2.1
- 510 2 _ ‡a Universität Augsburg ‡b Mathematisch-Naturwissenschaftliche Fakultät ‡e Affiliation
- 510 2 _ ‡a Universität Augsburg ‡b Mathematisch-Naturwissenschaftliche Fakultät
- 510 2 _ ‡a Université Laval. Département d'informatique et de génie logiciel
Works
Title | Sources |
---|---|
Algebraic calculation of graph and sorting algorithms | |
Algebraic view reconciliation | |
Analytische Unterrichtsmodelle : Ergebnisse und Probleme der wissenschaftlichen Lernorganisation | |
Constructing programs from specifications : proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13-16 May, 1991 | |
Developments in concurrent Kleene algebra | |
Extended feature algebra [Extended Abstract] | |
Features, modularity, and variation points | |
Formal program development : IFIP TC2/WG 2.1 state-of-the-art report | |
A formal semantics for the programming language TOY, 1977: | |
Geographic wayfinders and space-time algebra | |
Greedy-like algorithms in modal Kleene algebra | |
Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra | |
A hierarchy of algebras for Boolean subsets | |
Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers | |
Ideal stream algebra | |
Kleene getting lazy | |
Kleene modules | |
Kleene under a modal demonic star | |
Konstruktion korrekter Programme durch Transformation | |
Layered graph traversals and Hamiltonian path problems — an algebraic approach | |
Lazy semiring neighbours and some applications | |
Least reflexive points of relations | |
linear algebra of UTP | |
Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings | |
Mathematics of program construction / Bernhard Möller (ed.). - Berlin, 1995. | |
Mathematische Logik | |
Modal algebra and Petri nets | |
Modal Kleene algebra and applications : a survey | |
Modal knowledge and game semirings | |
Model refinement using bisimulation quotients | |
The Munich Project CIP | |
n93102104 | |
Non-smooth and zeno trajectories for hybrid system algebra | |
Normal design algebra | |
Omega algebra, demonic refinement algebra and commands | |
On algebra of program correctness and incorrectness | |
On nothing [Editorial] | |
On the refinement of nondeterministic recursive routines by transformation | |
Ordered and continuous models of higher-order specifications | |
Perspektiven der didaktischen Forschung | |
Preface | |
Programming with (finite) mappings | |
Proof of the distributive law for Prioritisation and Pareto composition | |
Prospects for hardware foundations : ESPRIT Working Group 8533 NADA - new hardware design methods survey chapters | |
Quantales and temporal logics | |
Die rechtliche Natur des Ausstellungsvertrages | |
Refining ideal behaviours | |
Relational and Kleene-Algebraic Methods in Computer Science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers | |
Relational geometry modelling execution of structured programs | |
Relations as a program development language | |
RelMiCS/AKA 2008 | |
Requirements in feature algebra | |
Reverse exchange for concurrency and local reasoning | |
Shorter paths to graph algorithms | |
Structured document algebra in action | |
Subclack: feature-oriented programming with behavioral feature interfaces | |
survey of the project CIP computer-aided, intuition-guided programming, wide spectrum language and program transformations | |
Systematic derivation of pointer algorithms | |
theta-join as a join with theta | |
Towards pointer algebra | |
Transitive separation logic | |
Unendliche Objekte und Geflechte | |
wp is wlp |