Dick de Jongh

Identifiers

• name variant Dick de Jongh 0.60 · backfill

Papers (2)

1. Duality and universal models for the meet-implication fragment of IPC math.LO · 2014 · author #4
2. Characterization of Strongly Equivalent Logic Programs in Intermediate Logics cs.LO · 2002 · author #1

Mentions

• 1403.0710 #4 · backfill · confidence 0.70 Dick de Jongh

Frequent Coauthors

• Dion Coumans 1 shared papers
• Lex Hendriks 1 shared papers
• Nick Bezhanishvili 1 shared papers
• Samuel J. van Gool 1 shared papers