On minimizing the ∀-≩ degree of a connective-free formula

Article Properties
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Science (General)
Cybernetics
Information theory
Technology
Electrical engineering
Electronics
Nuclear engineering
Telecommunication
Technology
Technology (General)
Industrial engineering
Management engineering
Information technology
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
A relational calculus with set operators, its safety, and equivalent graphical languages IEEE Transactions on Software Engineering
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electric apparatus and materials. Electric circuits. Electric networks
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 20 1989
10.1016/S0747-7171(87)80021-4 1987
Deductive and object-oriented databases 1991
Handbook of theoretical computer science, vol. B 1990
Concrete mathematics 1989