Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Science Applications,Hardware and Architecture,Theoretical Computer Science,Software
Reference11 articles.
1. Zhang Jian. Search for models of equational theories. InProc. 3rd Int'l Conf. for Young Computer Scientists (ICYCS-93), Beijing, 1993, pp. 2.60–63.
2. McCune W. Single axioms for groups and Abelian groups with various operations.J. Automated Reasoning, 1993, 10(1): 1–13.
3. Neumann B H. Yet another single law for groups.Illinois J. of Math., 1986, 30(2): 295–300.
4. Slaney J. FINDER: Finite domain enumerator. Version 3.0 notes and guide. Australian National University, 1993.
5. McCune W, Wos L. The absence and the presence of fixed point combinators.Theoretical Computer Science, 1991, 87(2): 221–228.