Semantic Scholar Open Access 2001 578 sitasi

Strongly equivalent logic programs

V. Lifschitz D. Pearce A. Valverde

Penulis (3)

V

V. Lifschitz

D

D. Pearce

A

A. Valverde

Format Sitasi

Lifschitz, V., Pearce, D., Valverde, A. (2001). Strongly equivalent logic programs. https://doi.org/10.1145/383779.383783

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →
Lihat di Sumber doi.org/10.1145/383779.383783
Informasi Jurnal
Tahun Terbit
2001
Bahasa
en
Total Sitasi
578×
Sumber Database
Semantic Scholar
DOI
10.1145/383779.383783
Akses
Open Access ✓