John G. Cleary

Identifiers

• name variant John G. Cleary 0.60 · backfill

Papers (2)

1. Simplifying Negative Goals Using Typed Existence Properties cs.PL · 2010 · author #2
2. On Dart-Zobel Algorithm for Testing Regular Type Inclusion cs.LO · 1998 · author #2

Mentions

• 1009.2178 #2 · backfill · confidence 0.70 John G. Cleary

Frequent Coauthors

• Lunjin Lu 2 shared papers