Publikationen

Fraunhofer FIRST / Institut

Seiten:« Erste Seite 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | Letzte Seite » |

Sortieren nach: Autor Jahr

Burghardt, Jochen ()

Regular Substitution Sets: A Means of Controlling E-Unification.

Tech. Report, number 926

Burghardt, Jochen ()

Concepts for an Extended Type Checker for the Z Specification Language.

Tech. Report, number 995, Jun

Burghardt, Jochen ()

Formale Entwicklung einer Steuerung für eine Fertigungszelle mit SYSYFOS.

Tech. Report, number 996, Jun

Burghardt, Jochen ()

Weight Computation of Regular Tree Languages.

Tech. Report, number 001

Burghardt, Jochen ()

E-Generalization Using Grammars.

Tech. Report, number 002, Dec

Seiten:« Erste Seite 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | Letzte Seite » |