Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2011
Aceto, L. and Chen, Taolue and Ingolfsdottir, A. and Luttik, B. and van de Pol, J.C.
(2011)
On the axiomatizability of priority II.
Theoretical computer science, 412 (28).
pp. 3035-3044.
ISSN 0304-3975
*** ISI Impact 0,838 ***
Bergstra, J.A. and van de Pol, J.C.
(2011)
A Calculus for Four-Valued Sequential Logic.
Theoretical computer science, 412 (28).
pp. 3122-3128.
ISSN 0304-3975
*** ISI Impact 0,838 ***
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||