Home Page
A Note on Negative Tagging for Least Fixed-Point Formulae
 
by Dilian Gurov and Bruce Kapron
 
 
 
formalWARE 
    project  

  Participating 
     Organizations 
  Research   
     Topics 
  People 
   

formalWARE 
    results  

  Overview 
  Publications 
  Presentations 
  Tools   
  Methods 
  Examples   
  Training 

formalWARE  
  information  

  Events 
  Index  
  Links   
  Contacts

Download postscript 
Download PDF