Pages that link to "Item:Q1574965"
From MaRDI portal
The following pages link to Workshop on verification of logic programs. Las Cruces, NM, USA, December 1, 1999 (Q1574965):
Displaying 4 items.
- WOID '99. Workshop on optimization and implementation of declarative programs. Las Cruces, NM, USA, December 2--3, 1999 (Q1574966) (← links)
- WLPE '99. 10th workshop on logic programming environments, Las Cruces, NM, USA, November 29, 1999 (Q1574968) (← links)
- VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings (Q1948375) (← links)
- LACPV'2001. Logical aspects of cryptographic protocol verification. Proceedings of the 1st workshop (a satellite workshop of CAV'01), Paris, France, July 23, 2001. (Q2375745) (← links)
