Logic-Based Program Synthesis and Transformation

Frédéric Mesnard; Peter Stuckey

Directions of work or proceedings

Logic-Based Program Synthesis and Transformation

Frédéric Mesnard ¹ Peter Stuckey ²

1 LIM - Laboratoire d'Informatique et de Mathématiques

2 Department of Computing and Information Systems

Document type :

Directions of work or proceedings

Domain :

Computer Science [cs] / Logic in Computer Science [cs.LO]

Complete list of metadatas

https://hal.univ-reunion.fr/hal-02293707
Contributor : Frédéric Mesnard <>
Submitted on : Saturday, September 21, 2019 - 4:10:10 PM
Last modification on : Sunday, September 22, 2019 - 1:20:09 AM

Logic-Based Program Synthesis and Transformation

Identifiers

Collections

Citation

Export

Metrics

56

Logic-Based Program Synthesis and Transformation

Identifiers

Collections

Citation

Export

Share

Metrics

56