THE SYNTHESIS TABLEAU: A DEDUCTIVE FRAMEWORK FOR PROGRAM SYNTHESIS BASED ON SEQUENT CALCULUS.

No Thumbnail Available

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Saudi Digital Library

Abstract

Description

Keywords

Citation

URI

https://drepo.sdl.edu.sa/handle/20.500.14154/60736

Collections

SACM - United States of America

Endorsement

Review

Supplemented By

Referenced By

Copyright owned by the Saudi Digital Library (SDL) © 2025