共 50 条
- [31] ZARLINO ATTEMPT AT AN AXIOMATIZATION OF MUSIC THEORY IN THE 'DIMOSTRATIONI HARMONICHE' (1571) MUSIKTHEORIE, 1989, 4 (02): : 113 - 126
- [37] Infinitary Axiomatization of the Equational Theory of Context-Free Languages ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (126): : 44 - 55
- [38] An axiomatization of biological concepts within the foundational theory of Ennio de Giorgi RIVISTA DI BIOLOGIA-BIOLOGY FORUM, 1999, 92 (01): : 77 - 104