Logic-Based Program Synthesis and Transformation - Université de La Réunion Access content directly
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 : Wednesday, October 26, 2022-8:12:44 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
28 View
0 Download

Share

Gmail Facebook X LinkedIn More