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
»
Events
»
Break
»
Break
Break
Live Session 1
Break
Event Timeslots (1)
Live Session 1
9:00 am
-
9:30 am
You may also like
Eliminating Cuts in HoiC
A SWI-Prolog based implementation of RML
A Proof Theory for Distributed Evidential Transactions
Certified Semantics for Disequality Constraints
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
