( en | de | ru )

 

Disambiguation of "Krieg-Brückner, B."

Author of the publication

copydeleteadd this publication to your clipboard
Subsorted Partial Higher-Order Logic as an Extension of CASL

, , and . Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, volume 1827 of Lecture Notes in Computer Science, Springer Verlag, London, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Martin Brückner

Vergleichende Untersuchungen zur Inzidenz apoptotischer und proliferativer Veränderungen kultivierter, humaner Knochenzellen von Ober- und Unterkiefer auf maschinenbearbeitetem, reinem Titan über 25 Tage. Uni Leipzig, (2009)

Ilse Brückner

Gerhard Brückner

Christine Brückner

Wolfgang Brückner

 

Other publications of authors with the same name

Tramway Networks as Route Graphs, , and . FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, page 109-119. (2004)Subsorted Partial Higher-Order Logic as an Extension of CASL, , and . Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, volume 1827 of Lecture Notes in Computer Science, Springer Verlag, London, (2000)Ontologies for the Semantic Web in CASL, , and . Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), volume 3423 of Lecture Notes in Computer Science, page 106-125. Springer; Berlin; http://www.springer.de, (2005)Permissive Subsorted Partial Logic in CASL, , , and . Algebraic methodology and software technology, 6th international conference, AMAST 97, 1349, page 91–107. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, (1997)Spatial cognition: The role of landmark, route, and survey knowledge in human and robot navigation, , , , and . Informatik, (1997)Static Semantic Analysis and Theorem Proving for C<small><small>ASL</small></small>, , and . Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT’97, 1376, page 333-348. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, (1998)Specification of an Ontology for Route Graphs, , , , , and . Spatial Cognition IV, volume 3343 of Lecture Notes in Artificial Intelligence, Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, (2005)