skip to main content
Department of Computer Science University of Colorado Boulder
cu: home | engineering | mycuinfo | about | cu a-z | search cu | contact cu cs: about | calendar | directory | catalog | schedules | mobile | contact cs
home | quick links | site map | who's where | cs a-z
people events courses undergraduate graduate research department site
home · the department · publications · technical reports · 
 

Technical Reports by Michael Main
 
by Author by Year by Number All Reports
<
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
>
CU-CS-CT001-97
A Scanner-Parser Report (Preliminary Report)
CU-CS-CT002-97
Verification Logic
CU-CS-241-82
An 0(n log n) Algorithm for Finding All Repetitions in a String
CU-CS-246-83
Functional Behavior of Nondeterministic and Concurrent Programs
CU-CS-258-83
Restrictions on NLC Graph Grammars
CU-CS-286-84
Semiring Module Powerdomains
CU-CS-312-85
Handle NLC Grammars and Languages
CU-CS-343-86
Demons, Catastrophes and Communicating Processes
CU-CS-344-86
Order-Theoretic Techniques for Non-Deterministic Programs
CU-CS-348-86
Results on NLC Grammars with One-Letter Terminal Alphabets
CU-CS-349-86
Edge-Label Controlled Graph Grammars
CU-CS-357-87
Detecting Left-Most Periodicities
CU-CS-375-87
A Powerdomain Primer -- A Tutorial for the Bulletin of the EATCS
CU-CS-404-88
Research Trends in Formal Semantics: Report of a Discussion
CU-CS-417-88
Semantic Models for Total Correctness and Fairness
... Revised March 1989.
CU-CS-447-89
Complete Proof Rules for Strong and Strong-Extreme Fairness
CU-CS-700-94
Analog Solution of NP-Complete Problems
CU-CS-823-96
The Keys to the Animal Kingdom
CU-CS-1035-07
Building a Prototype Analog Computer for Exact-1-in-3-SAT
  
See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA 		Questions/Comments?
Send email to

 Engineering Center Office Tower
ECOT 717
+1-303-492-7514
FAX +1-303-492-2844
XHTML 1.0/CSS2 ©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks 		May 5, 2012 (13:54)
 
.