Association for Logic Programming

Main menu

Skip to content
  • The Association for Logic Programming
    • Mission and Vision
    • ALP History
    • ALP Board
    • ALP Newsletter
    • ALP Awards
    • ALP by laws
      • ALP Policies
      • ALP EC Elections
      • Diversity and Inclusion Policy
      • ALP Sponsorship Guidelines
      • Conference Policy
      • For referees
  • ICLP Conferences
  • Theory and Practice of Logic Programming
    • Scope and submission
    • Content
    • Accepted papers
    • Book Reviews
  • Theses and Dissertations
    • PhD Theses
    • Master’s theses
  • Systems and Links

Master’s theses

2019

  • A Formal Framework for Modelling and Analysing Safety-Critical Human Multitasking, Craig Olson

2003

  • Deduzione automatica per logiche condizionali: analisi e sviluppo di un theorem prover, Gian Luca Pozzato

Search in our archives

Categories

  • ALP ISSUE (261)
    • Accepted Papers (14)
    • Conference reports (42)
    • Editorial (36)
    • Feature Articles (80)
    • In Memoriam (15)
    • Left Field (3)
    • LP Systems (11)
    • Personal perspectives on LP (4)
    • Positions in LP (8)
    • Programming Contest (5)
    • Regular columns (38)
      • Book Announcement (11)
      • Community news (13)
      • Doctoral dissertations (5)
      • Games and Puzzles (7)
    • Research Groups (1)
  • Asyncronous News (175)
    • Call for papers (107)
    • Call for Participation (14)
    • Community News (18)
    • Conferences News (1)
    • PhD positions (10)
    • Positions in LP (10)
    • Schools (12)
  • Uncategorized (2)

Archives per month

Copyright © 2023 Association for Logic Programming. All Rights Reserved. The Magazine Basic Theme by bavotasan.com.