共 50 条
- [1] On a logical foundation for explicit substitutions [J]. Typed Lambda Calculi and Applications, Proceedings, 2007, 4583 : 1 - 1
- [2] On a logical foundation for explicit substitutions [J]. Term Rewriting and Applications, Proceedings, 2007, 4533 : 19 - 19
- [3] LOGICAL PROPERTIES OF PERCEIVED BEHAVIOUR PATTERNS OF A DYNAMICAL SYSTEM [J]. INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1974, 6 (06): : 715 - 728
- [4] Logical Forms, Substitutions and Information Types [J]. LOGIC AND LOGICAL PHILOSOPHY, 2023, 32 (03) : 459 - 473
- [5] A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties [J]. COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, PROCEEDINGS, 2009, 5688 : 266 - +
- [6] Substitutions and symbolic dynamical systems [J]. SUBSTITUTIONS IN DYNAMICS, ARITHMETICS AND COMBINATORICS, 2002, 1794 : 101 - 142
- [7] Reduction of logical models of regulatory networks yields insight into dynamical properties [J]. 2010 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, 2010, : 524 - 529