Multiple-conclusion meta-logic

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1994, Pages 272-281

  Miller, Dale ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTER SOFTWARE SELECTION AND EVALUATION; LOGIC PROGRAMMING; PROGRAMMING THEORY; PROLOG (PROGRAMMING LANGUAGE); THEOREM PROVING;

ABSTRACTION; CONCURRENCY; CUT FREE SEQUENT PROOFS THEORY; FUNCTIONAL PROGRAMMING LANGUAGE; MULTIPLE CONCLUSION META LOGIC;

FORMAL LOGIC;

EID: 0027987694     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)