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
Virtual Workshop
- Workshop Schedule
Programme Committee
Call for Contributions

Search

Search

Workshop on Trends, Extensions, Applications and Semantics of Logic Programming

TEASE-LP, 28 and 29 May 2020, Virtual Event

Search

Search
- Search

Home
Discussion
Contributions
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

Discussion Session

Discussion Session

A Proof Theory for Distributed Evidential Transactions

A Proof Theory for Distributed Evidential Transactions

Private types in Higher Order Logic Programming

Private types in Higher Order Logic Programming

Leave a comment Cancel reply

Your email address will not be published. Required fields are marked *

Comment

Name *

Email *

Website

Save my name, email, and website in this browser for the next time I comment.

Post navigation

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

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

Powered by – Designed with the Customizr Theme