Change search
ReferencesLink to record
Permanent link

Direct link
Runtime Service Composition via Logic-Based Program Synthesis
KTH, Superseded Departments, Microelectronics and Information Technology, IMIT.
2002 (English)Doctoral thesis, monograph (Other scientific)
Place, publisher, year, edition, pages
Kista: Mikroelektronik och informationsteknik , 2002. , xvi, 188 p.
Trita-IT. AVH, 02:03
Keyword [en]
service composition, logic-based program synthesis, intuitionistic logic, natural deduction, specification, Java
URN: urn:nbn:se:kth:diva-3371ISBN: OAI: diva2:9164
Public defence
NR 20140805Available from: 2002-06-05 Created: 2002-06-05Bibliographically approved

Open Access in DiVA

fulltext(2585 kB)1084 downloads
File information
File name FULLTEXT01.pdfFile size 2585 kBChecksum SHA-1
Type fulltextMimetype application/pdf

By organisation
Microelectronics and Information Technology, IMIT

Search outside of DiVA

GoogleGoogle Scholar
Total: 1084 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 303 hits
ReferencesLink to record
Permanent link

Direct link