Skip to content
Workshop on Trends, Extensions, Applications and Semantics of Logic Programming
TEASE-LP, 28 and 29 May 2020, Virtual Event
  • Home
  • Discussion
  • Contributions
    • Lightning Talks
    • Invited Talks
    • Live Talks
  • Virtual Workshop
    • Workshop Schedule
  • Programme Committee
  • Call for Contributions
  • Search
Workshop on Trends, Extensions, Applications and Semantics of Logic Programming
TEASE-LP, 28 and 29 May 2020, Virtual Event
  • Search
  • Home
  • Discussion
  • Contributions
    • Lightning Talks
    • Invited Talks
    • Live Talks
  • Virtual Workshop
    • Workshop Schedule
  • Programme Committee
  • Call for Contributions
Home » Events » Break » Break
Break Live Session 1

Break

Event Timeslots (1)

Live Session 1
9:00 am - 9:30 am

You may also like

A SWI-Prolog based implementation of RML

A SWI-Prolog based implementation of RML

Certified Semantics for Disequality Constraints

Certified Semantics for Disequality Constraints

Eliminating Cuts in HoiC

Eliminating Cuts in HoiC

Panel: Discussion of the future development of methods inspired by relational and logic programming

Panel: Discussion of the future development of methods inspired by relational and logic programming

Leave a comment Cancel reply

You must be logged in to post a comment.

Post navigation

  • Previous post Structural Proof-Theory and Logic Programming
  • Back to post list
  • Next post A SWI-Prolog based implementation of RML
ETAPS Logo

© 2022 Workshop on Trends, Extensions, Applications and Semantics of Logic Programming – All rights reserved

Powered by WP – Designed with the Customizr Theme