共 50 条
- [1] A Universal Algebra for the Variable-Free Fragment of RCdel LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2018), 2018, 10703 : 91 - 106
- [2] Binding of Relational Nouns and the Variable-Free Semantics Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 6797 LNAI : 60 - 74
- [5] First-Order Unification on Compressed Terms 22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), 2011, 10 : 51 - 60
- [6] Consistency of variable splitting in free variable systems of first-order logic AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2005, 3702 : 33 - 47
- [10] Toward a First-Order Extension of Prolog's Unification using CHR APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 58 - +