Bookmark Saya

Semantic Scholar Open Access 1993 1385 sitasi

A framework for defining logics

R. Harper F. Honsell G. Plotkin
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (3)

R

R. Harper

F

F. Honsell

G

G. Plotkin

Format Sitasi

APA MLA BibTeX
Harper, R., Honsell, F., Plotkin, G. (1993). A framework for defining logics. https://doi.org/10.1145/138027.138060

Akses Cepat

Lihat di Sumber doi.org/10.1145/138027.138060
Informasi Jurnal
Tahun Terbit
1993
Bahasa
en
Total Sitasi
1385×
Sumber Database
Semantic Scholar
DOI
10.1145/138027.138060
Akses
Open Access ✓