Wolfgang Schönfeld

According to our database1, Wolfgang Schönfeld authored at least 16 papers between 1979 and 2005.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2005
Data Communication Between the German NBC Reconnaissance Vehicle and Its Control Center Unit.
Proceedings of the From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments, 2005

2001
A Framework for Group Integrity Management in Multimedia Multicasting.
Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001

1999
A Testbed for Mobile Multimedia Applications.
Multimedia Tools Appl., 1999

1998
Interacting Abstract State Machines.
Proceedings of the Fifth International Workshop on Abstract State Machines, 1998

1991
ILFA Interface Concept
IWBS Report, 1991

1989
Properties and Actions.
Proceedings of the Natural Language and Logic, 1989

1988
Integration of Descriptive and Procedural Language Constructs.
Proceedings of the CSL '88, 1988

1987
Anforderung der Logik-Programmierung an die Wissensrepräsentation.
Proceedings of the Wissensrepräsentation in Expertensystemen, 1987

Interfacing a Logic Machine.
Proceedings of the CSL '87, 1987

1986
A Theory for the Representation of Knowledge.
IBM Journal of Research and Development, 1986

1985
Ein juristisches Expertensystem mit natürlichsprachlichem Dialog - Ein Projektbericht.
Proceedings of the Wissensbasierte Systeme, 1985

Prolog Extensions Based on Tableau Calculus.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1983
Proof Search for Unprovable Formulas.
Proceedings of the GWAI-83, 1983

1982
Upper Bounds for Proof-Search in a Sequent Calculus for Relational Equations.
Math. Log. Q., 1982

1981
Gleichungen in der Algebra der binären Relationen.
Minerva-Fachserie Naturwissenschaften, Minerva-Publikation, ISBN: 978-3-597-10350-7, 1981

1979
An Undecidability Result for Relation Algebras.
J. Symb. Log., 1979


  Loading...