Introduction to temporal logic - Metalogic (Part II)

Moen, Anders

May 01, 2001

DART

• Conference: Hovedfagsseminar i logikk SLI
• Title: Introduction to temporal logic - Metalogic (Part II)
• Author(s): Moen, Anders
• Published date: May 01, 2001