Picture for Concepción Vidal

Concepción Vidal

Temporal Logic Programs with Variables

Add code
Sep 19, 2016
Figure 1 for Temporal Logic Programs with Variables
Figure 2 for Temporal Logic Programs with Variables
Viaarxiv icon