Workshop on verification of logic programs. Las Cruces, NM, USA, December 1, 1999

MaRDI QIDQ1574965zbMATH OpenFDO

Authors

Publication date 14 August 2000

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Las Cruces, NM (USA)Logic programsProceedingsVerificationWorkshop

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(4)

• WOID '99. Workshop on optimization and implementation of declarative programs. Las Cruces, NM, USA, December 2--3, 1999
• WLPE '99. 10th workshop on logic programming environments, Las Cruces, NM, USA, November 29, 1999
• VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings
• LACPV'2001. Logical aspects of cryptographic protocol verification. Proceedings of the 1st workshop (a satellite workshop of CAV'01), Paris, France, July 23, 2001.

This page was built for publication: Workshop on verification of logic programs. Las Cruces, NM, USA, December 1, 1999

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1574965)