Logic-Based Program Synthesis and Transformation - Université de La Réunion
Books Year : 2019

Logic-Based Program Synthesis and Transformation

Frédéric Mesnard
Laboratoire d'Informatique et de Mathématiques
Peter J Stuckey
  • Function : Scientific advisor
Department of Computing and Information Systems

Domains

Logic in Computer Science [cs.LO]

Frédéric Mesnard  : Connect in order to contact the contributor

https://hal.univ-reunion.fr/hal-02293707

Submitted on : Saturday, September 21, 2019-4:10:10 PM

Last modification on : Monday, April 29, 2024-11:28:04 AM

No file

Dates and versions

hal-02293707 , version 1 (21-09-2019)

Identifiers

  • HAL Id : hal-02293707 , version 1

Cite

Frédéric Mesnard, Peter J Stuckey (Dir.). Logic-Based Program Synthesis and Transformation. 2019. ⟨hal-02293707⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

AFRIQ UNIV-REUNION LIM FST-REUNION
34 View
0 Download

Share

More