Determination of symmetric VL1 formulas: algorithm and program SYM4

Urbana: Dept. of Computer Science, University of Illinois at Urbana-Champaign (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.45.I4 no. 774

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,505

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

SYM-1, a program that detects symmetry of variable-valued logic functions.Gerald M. Jensen - 1975 - Urbana: Dept of Computer Science, University of Illinois at Urbana-Champaign.
Selected problems of minimization of variable-valued logic formulas.Roland Phillipe Cuneo - 1975 - Urbana: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
On Symmetric Functions of m Symmetric Functions in a Boolean Algebra.S. Pankajam - 1939 - Journal of Symbolic Logic 4 (3):124-124.
Selection of most representative training examples and incremental generation of VL₁ hypotheses: the underlying methodology and the description of programs, ESEL and AQ11.Ryszard Stanisław Michalski - 1978 - Urbana: Dept. of Computer Science, University of Illinois at Urbana-Champaign. Edited by James Larson.
Pankajam S.. On symmetric functions of m symmetric functions in a Boolean algebra. Proceedings of the Indian Academy of Sciences, section A, vol. 9 , pp. 95–102. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):124-124.
Effects of Symmetric and Asymmetric Nonlinearity on the Dynamics of a Third-Order Autonomous Duffing–Holmes Oscillator.Isaac Sami Doubla, Jacques Kengne, Raoul Blaise Wafo Tekam, Zeric Tabekoueng Njitacke & Clotaire Thierry Sanjong Dagang - 2020 - Complexity 2020:1-26.
q-Supernomial coefficients: From riggings to ribbons.Schilling Anne - unknown
Free and Projective Bimodal Symmetric Gödel Algebras.Revaz Grigolia, Tatiana Kiseliova & Vladimer Odisharia - 2016 - Studia Logica 104 (1):115-143.
Exploiting homogeneity in games with non-homogeneous revenue functions.Antoni Rubí-Barceló & Walter Ferrarese - 2023 - Theory and Decision 96 (2):333-349.
Self-scaled barriers for irreducible symmetric cones.A. Hauser Raphael & Lim Yongdo - unknown

Analytics

Added to PP
2009-01-28

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references