We stand with Ukraine  

Daan J. C. Staudt

According to our database1, Daan J. C. Staudt authored at least 6 papers between 2012 and 2026.

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Fully evaluated left-sequential logics.
[BibTeX]
[DOI]
Alban Ponse
,
Daan J. C. Staudt
J. Appl. Non Class. Logics, January, 2026

2021
Non-commutative propositional logic with short-circuit evaluation.
[BibTeX]
[DOI]
Jan A. Bergstra
,
Alban Ponse
,
Daan J. C. Staudt
J. Appl. Non Class. Logics, 2021

2018
An independent axiomatisation for free short-circuit logic.
[BibTeX]
[DOI]
Alban Ponse
,
Daan J. C. Staudt
J. Appl. Non Class. Logics, 2018

Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant.
[BibTeX]
[DOI]
Jan A. Bergstra
,
Alban Ponse
,
Daan J. C. Staudt
CoRR, 2018

2017
An independent axiomatization for free short-circuit logic.
[BibTeX]
[DOI]
Alban Ponse
,
Daan J. C. Staudt
CoRR, 2017

2012
Completeness for Two Left-Sequential Logics
[BibTeX]
[DOI]
Daan J. C. Staudt
CoRR, 2012


  Loading...