PC-compactnes, a necessary condition for the existence of sound and complete logics of partial correctness / [by] J. A. Bergstra and J. Tiuryn - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

PC-compactnes, a necessary condition for the existence of sound and complete logics of partial correctness / [by] J. A. Bergstra and J. Tiuryn

PC-compactnes, a necessary condition for the existence of sound and complete logics of partial correctness / [by] J. A. Bergstra and J. Tiuryn

http://data.bibliotheken.nl/id/nbt/p060832339

4a5b6b0612db852cae3153bb15af3f21

mainEntity

PC-compactnes, a necessary condition for the existence of sound and complete logics of partial correctness / [by] J. A. Bergstra and J. Tiuryn

http://data.bibliotheken.nl/id/nbt/p060832339

author

bookEdition

Prepr.

http://www.w3.org/2001/XMLSchema#string

contributor

fcb631216f580152e611921e7300bdcd

inLanguage

en

http://www.w3.org/2001/XMLSchema#string

mainEntityOfPage

4a5b6b0612db852cae3153bb15af3f21

name

PC-compactnes, a necessary con ...... logics of partial correctness

http://www.w3.org/2001/XMLSchema#string

numberOfPages

11

http://www.w3.org/2001/XMLSchema#integer

publication

69e6e0e058f828c640343565e5dadf71

sameAs

type

label

PC-compactnes, a necessary con ...... ] J. A. Bergstra and J. Tiuryn

http://www.w3.org/2001/XMLSchema#string