Cited By
View all- Drabent W(2023)A relaxed condition for avoiding the occur-checkTheoretical Computer Science10.1016/j.tcs.2023.114107975:COnline publication date: 9-Oct-2023
- Drabent W(2021)A Note on Occur-CheckElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.345.17345(54-67)Online publication date: 17-Sep-2021
- Hodges W(2009)Functional Modelling and Mathematical Models: A Semantic AnalysisPhilosophy of Technology and Engineering Sciences10.1016/B978-0-444-51667-1.50029-X(665-692)Online publication date: 2009
- Show More Cited By