( en | de | ru )

 

Disambiguation of "Krieg-Brückner, Bernd"

Author of the publication

copydeleteadd this publication to your clipboard
Towards a wide spectrum language to support program specification and program development.

, , , , and . Fachtagung über Programmiersprachen, volume 12 of Informatik-Fachberichte, page 73-85. Springer, (1978)

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.

Bernd Brückner

Bernd Brückner

Bernd Brückner

Bernd Brückner

Uwe Bernd Brückner

 

Other publications of authors with the same name

Introduction.. PROSPECTRA Book, volume 680 of Lecture Notes in Computer Science, page 3-34. Springer, (1993)The PROSPECTRA System: A Unified Development Framework., , and . AMAST, page 421-433. Springer, (1991)Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks., and . Int. J. Softw. Informatics, 2 (1): 33-60 (2008)Ada and the German Pay Phone: An Illustrative Example of Parallel Processing.. ECI, volume 123 of Lecture Notes in Computer Science, page 122-134. Springer, (1981)ANNA - A Language for Annotating Ada Programs, Reference Manual, , , and . Lecture Notes in Computer Science Springer, (1987)Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions., and . GIScience, volume 4197 of Lecture Notes in Computer Science, page 234-250. Springer, (2006)Types in the Programming Language Ada.. On Conceptual Modelling (Intervale), page 385-408. Springer, (1982)Subsorted Partial Higher-Order Locig as an Extension of CASL., , and . WADT, volume 1827 of Lecture Notes in Computer Science, page 126-145. Springer, (1999)Semantic Interrelation of Documents via an Ontology., , , , and . DeLFI, volume P-52 of LNI, page 271-282. GI, (2004)The BAALL Ontology - Configuration of Service Robots, Food, and Diet., , and . JOWO, volume 2969 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)