We stand with Ukraine  

Werner Saurer

According to our database1, Werner Saurer authored at least 2 papers between 1993 and 2000.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2000
Dov M. Gabbay, Christopher J. Hogger, John Alan Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies - Review.
[BibTeX]
[DOI]
Gregor Erbach
,
Werner Saurer
Artif. Intell. Rev., 2000

1993
A natural deduction system for discourse representation theory.
[BibTeX]
[DOI]
Werner Saurer
J. Philos. Log., 1993


  Loading...