Proceedings, Sixth Annual Ieee Symposium on Logic in Computer Science July 15-18, 1991, Amsterdam, the Netherlands
Association for Symbolic Logic, Acm Special Interest Group for Automata and Computability Theory, European Association for Theoretical Computer Science & Ieee Computer Society
(1991)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | Electronic data processing Electronic digital computers Logic, Symbolic and mathematical |
| Categories | (categorize this paper) |
| ISBN(s) | 081862230X |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Proceedings, Eleventh Annual Ieee Symposium on Logic in Computer Science July 27-30, 1996, New Brunswick, New Jersey.Association for Symbolic Logic, Acm Special Interest Group for Automata and Computability Theory, European Association for Theoretical Computer Science & Ieee Computer Society - 1996
Proceedings, Fifth Annual Ieee Symposium on Logic in Computer Science June 4-7, 1990, Philadelphia, Pa.Association for Symbolic Logic, Acm Special Interest Group for Automata and Computability Theory, European Association for Theoretical Computer Science & Ieee Computer Society - 1990
Proceedings Symposium on Logic in Computer Science, Ithaca, New York, June 22-25, 1987 ; Sponsored by the Computer Society of the Ieee Technical Committee on Mathematical Foundations of Computing in Cooperation with Acm Sigact, Association for Symbolic Logic, European Association for Theoretical Computer Science. [REVIEW]Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science, Ieee Computer Society & Special Interest Group for Automata and Computability Theory - 1987
Proceedings [of the] Fourth Annual Symposium on Logic in Computer Science.Ieee Computer Society - 1989
Proceedings of the 1974 International Symposium on Multiple-Valued Logic Morgantown, West Virginia, May 29, 30, 31, 1974. [REVIEW]Ieee Computer Society & United States - 1974 - Ieeecs.
Logical Foundations of Computer Science 4th International Symposium, Lfcs '97, Yaroslavl, Russia, July 6-12, 1997 : Proceedings'. [REVIEW]S. I. Adian & Anil Nerode - 1997
Computer Science Logic 4th Workshop, Csl '90, Heidelberg, Germany, October 1-5, 1990 : Proceedings'.E. Börger - 1991
Csl '87 1st Workshop on Computer Science Logic, Karlsruhe, Frg, October 12-16, 1987 : Proceedings.E. Börger, H. Kleine Büning & Michael M. Richter - 1988
Csl '88 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988 : Proceedings.E. Börger, H. Kleine Büning & Michael M. Richter - 1989
Csl '89 3rd Workshop on Computer Science Logic, Kaiserslautern, Frg, October 2-6, 1989 : Proceedings.E. Börger, H. Kleine Büning & Michael M. Richter - 1990
Constructivity in Computer Science Summer Symposium, San Antonio, Tx, June 19-22, 1991 : Proceedings.J. P. Myers, Michael J. O'donnell & Association for Symbolic Logic - 1992
Automata, Languages and Programming 18th International Colloquium, Madrid, Spain, July 8-12, 1991 : Proceedings.J. Leach Albert, B. Monien, M. Rodríguez Artalejo, Languages and Programming European Association for Theoretical Computer Science & International Colloquium on Automata - 1991
Analytics
Added to PP index
2015-02-02
Total views
0
Recent downloads (6 months)
0
2015-02-02
Total views
0
Recent downloads (6 months)
0
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.
