Semantic Scholar Open Access 2003 4 sitasi

On computing the fixpoint of a set of boolean equations

Viktor Kunčak K. Leino

Lihat Sumber

Abstrak

Note: MSR-TR-2003-08 (Microsoft Research) Reference LARA-REPORT-2003-001 URL: http://arxiv.org/abs/cs.PL/0408045 Record created on 2007-08-21, modified on 2017-05-12

Topik & Kata Kunci

Computer Science

Penulis (2)

Viktor Kunčak

K. Leino

Format Sitasi

APA MLA BibTeX

Kunčak, V., Leino, K. (2003). On computing the fixpoint of a set of boolean equations. https://www.semanticscholar.org/paper/4bbd0e31dfdca1fd3791059992a00b9041d5acac

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2003
Bahasa: en
Total Sitasi: 4×
Sumber Database: Semantic Scholar
Akses: Open Access ✓