Вы здесь

Neumerkel U.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs 2001 Mesnard F., Neumerkel U. Lecture Notes in Computer Science 31.07.2001
СТ Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices 1999 Neumerkel U., Mesnard F. Lecture Notes in Computer Science 27.10.1999
СТ People Oriented Software Technology, and its Use in Environmental Reporting 1995 Krueger T., Kurian G., Nair A., Neumann G., Neumerkel U., Nusser S., Reintjes P., Taylor A., Tzoar D., Walker A. Lecture Notes in Computer Science Database and Expert Systems Applications 14.11.1995
СТ A Novel Term Compression Scheme and Data Representation in the BinWAM 1994 Tarau P., Neumerkel U. Lecture Notes in Computer Science 12.10.1994