BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Israel
3 × USA
Collaborated with:
P.Narendran M.O.Möller H.Rueß P.Lincoln N.Shankar R.M.Harris D.Kapur
Talks about:
procedur (2) theori (2) logic (2) decis (2) geometri (1) theorem (1) shostak (1) hardwar (1) algebra (1) vector (1)

Person: David Cyrluk

DBLP DBLP: Cyrluk:David

Contributed to:

CAV 19971997
CADE 19961996
CAV 19941994
CADE 19881988

Wrote 4 papers:

CAV-1997-CyrlukMR #formal method #performance
An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors (DC, MOM, HR), pp. 60–71.
CADE-1996-CyrlukLS #on the
On Shostak’s Decision Procedure for Combinations of Theories (DC, PL, NS), pp. 463–477.
CAV-1994-CyrlukN #hardware #logic #verification
Ground Temporal Logic: A Logic for Hardware Verification (DC, PN), pp. 247–259.
CADE-1988-CyrlukHK #algebra #geometry #named #proving #theorem proving
GEOMETER: A Theorem Prover for Algebraic Geometry (DC, RMH, DK), pp. 770–771.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.