2 συγγένειες: CTL*, Ντέινα Σκοτ.
CTL*
Η CTL* είναι ένα υπερσύνολο της CTL (λογικής υπολογιστικού δένδρου) και της LTL (γραμμικής χρονικής λογικής).
Νέος!!: Μ λογισμός και CTL* · Δείτε περισσότερα »
Ντέινα Σκοτ
Ο Ντέινα Σκοτ (Dana Stewart Scott, 11 Οκτωβρίου, 1932) είναι ομότιμος καθηγητής Πληροφορικής, Φιλοσοφίας και Μαθηματικής Λογικής, στο Πανεπιστήμιο Κάρνεγκι Μέλον, πουπλέον ζει στο Μπέρκλεϊ της Καλιφόρνια.