On bunched predicate logic

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 183-192

  Pym, David J ^a  

^a UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; FUNCTIONS; THEOREM PROVING;

BUNCHED IMPLICATIONS; BUNCHED PREDICATE LOGIC;

FORMAL LOGIC;

EID: 0032597525     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (30)