Determination of Symmetric Vl1 Formulas: Algorithm and Program Sym
Graduate studies at Western
Dept. Of Computer Science, University of Illinois at Urbana-Champaign (1975)
|Abstract||This article has no associated abstract. (fix it)|
|Keywords||VL1 system Symmetric functions|
|Categories||categorize this paper)|
|Call number||QA9.45.I4 no. 774|
|External links||This entry has no external links. Add one.|
|Through your library||Configure|
Similar books and articles
Thomas Ehrhard (2004). A Completeness Theorem for Symmetric Product Phase Spaces. Journal of Symbolic Logic 69 (2):340 - 370.
Ryszard Stanisław Michalski (1978). Selection of Most Representative Training Examples and Incremental Generation of Vl₁ Hypotheses: The Underlying Methodology and the Description of Programs, Esel and Aq11. Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
Katalin Bimbó & J. Michael Dunn (2009). Symmetric Generalized Galois Logics. Logica Universalis 3 (1):125-152.
Harold Houba, Dinard Laan & Dirk Veldhuizen (2011). Endogenous Entry in Lowest-Unique Sealed-Bid Auctions. Theory and Decision 71 (2):269-295.
Katalin Bombó (2005). The Church-Rosser Property in Symmetric Combinatory Logic. Journal of Symbolic Logic 70 (2):536 - 556.
Roland Phillipe Cuneo (1975). Selected Problems of Minimization of Variable-Valued Logic Formulas. Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
Jörg Brendle & Maria Losada (2003). The Cofinality of the Infinite Symmetric Group and Groupwise Density. Journal of Symbolic Logic 68 (4):1354-1361.
Gerald M. Jensen (1975). Sym-1, a Program That Detects Symmetry of Variable-Valued Logic Functions. Dept of Computer Science, University of Illinois at Urbana-Champaign.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?