cofi-semantics Mail Archives 2000

• Thread Index

• New study notes
  00/12/07 -- Till Mossakowski
• Re: Instantiations with partial and total functions
  00/12/06 -- Till Mossakowski
• Partial vs. total function symbols
  00/12/05 -- Lutz Schroeder
• Re: Instantiations with partial and total functions
  00/11/27 -- Peter D. Mosses
• Instantiations with partial and total functions
  00/11/27 -- Till Mossakowski
• URGENT: CoFI WG annual report
  00/10/06 -- tarlecki
• RE: Subsorting in CASL
  00/07/12 -- tarlecki
• Subsorting in CASL
  00/07/07 -- Till Mossakowski
• IFIP WG1.3 meeting
  00/05/30 -- Peter Padawitz
• Berlin meeting of the semantics task group
  00/04/11 -- Andrzej Tarlecki
• Axiom of choice in CASL
  00/03/20 -- Till Mossakowski
• Paper on relating CASL to other languages
  00/03/08 -- Till Mossakowski
• CoFI workshop at ETAPS'2000 in Berlin
  00/03/06 -- Andrzej Tarlecki
• Re: CoFI workshop at ETAPS'2000 in Berlin
  00/02/23 -- Andrzej Tarlecki
• CoFI workshop at ETAPS'2000 in Berlin
  00/02/15 -- tarlecki