Abstract: Journal Article Buy One, Get One Free!!! Get access ORNA KUPFERMAN, ORNA KUPFERMAN Department of Computer Science, The TechnionHaifa 32000, [email protected] Search for other works by this author on: Oxford Academic Google Scholar ORNA GRUMBERG ORNA GRUMBERG Department of Computer Science, The TechnionHaifa 32000, [email protected] Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 6, Issue 4, August 1996, Pages 523–539, https://doi.org/10.1093/logcom/6.4.523 Published: 01 August 1996 Article history Received: 04 July 1994 Published: 01 August 1996
Publication Year: 1996
Publication Date: 1996-08-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 61
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot