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
Search
Search …
Workshop on Trends, Extensions, Applications and Semantics of Logic Programming
TEASE-LP, 28 and 29 May 2020, Virtual Event
Search
Search
Search …
Search
Search …
Menu
Home
Discussion
Contributions
Lightning Talks
Invited Talks
Live Talks
Virtual Workshop
Workshop Schedule
Programme Committee
Call for Contributions
Home
»
Live Session 1
Event category:
Live Session 1
6 posts
Live Session 1
Discussion Session
Live Session 1
Private types in Higher Order Logic Programming
Live Session 1
Certified Semantics for Disequality Constraints
Live Session 1
A SWI-Prolog based implementation of RML
Break
Live Session 1
Break
Invited
Live Session 1
Structural Proof-Theory and Logic Programming