共 50 条
- [3] History-dependent automata: An introduction [J]. FORMAL METHODS FOR MOBILE COMPUTING, 2005, 3465 : 1 - 28
- [5] History-dependent Petri nets [J]. PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2007, 2007, 4546 : 164 - +
- [6] History-Dependent Nominal μ-Calculus [J]. 2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
- [9] Bargaining with history-dependent preferences [J]. JOURNAL OF ECONOMIC THEORY, 2007, 136 (01) : 695 - 708