Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference6 articles.
1. A propositional logic with 4 values: true, false, divergent and meaningless;Bergstra;J. Appl. Non-classical Logics,1995
2. Program algebra for component code;Bergstra;Formal Aspects Comput.,2000
3. Program algebra for component code;Bergstra;J. Logic Algebr. Programming,2002
4. B. Diertens, The PGA—ProGramAlgebra website. Available from http://www.science.uva.nl/research/prog/projects/pga
5. On a notation for ordinal numbers;Kleene;J. Symbolic Logic,1938
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献