Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 2011
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 ***
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 ***
This list was generated on Thu May 24 07:57:04 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||