SPS-Parallelism+SETHEO=SPTHEO

Authors
C.B.Suttner
Citation
C.b.suttner, SPS-Parallelism+SETHEO=SPTHEO, Journal of automated reasoning , 22(4), 1999, pp. 397-431
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
22
Issue
4
Year of publication
1999
Pages
397 - 431
Database
ACNP
SICI code