Publications

Fraunhofer FIRST / Institute

Pages:« first page 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | last page » |

Order by: Author Year

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

Pages:« first page 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | last page » |