Rules of definitional reflection

DOI PDF 1 Citations

P. Schroeder-Heister

Journal

[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science

[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science 222-232,

IEEE Comput. Soc. Press

Citations (1)*help

See more

Details 詳細情報について

CRID

1362544420791472128
DOI

10.1109/lics.1993.287585
Web Site

http://xplorestaging.ieee.org/ielx2/899/7167/00287585.pdf?arnumber=287585
Data Source
- Crossref

Export

Report a problem

Back to top