Műegyetemi Digitális Archivum
    • magyar
    • English
  • English 
    • magyar
    • English
  • Login
View Item 
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • BME PA dokumentumai
  • View Item
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • BME PA dokumentumai
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Static Type Checking for the Q Functional Language in Prolog

Thumbnail
View/Open
122186.pdf (457.9Kb)
Metadata
Show full item record
Link to refer to this document:
http://hdl.handle.net/10890/4513
Collections
  • BME PA dokumentumai [3590]
Title
Static Type Checking for the Q Functional Language in Prolog
Author
Zombori, Zsolt
Csorba, János
Szeredi, Péter
Date of issue
2011
Publisher
Schloss Dagstuhl Leibniz-Zentrum für Informatik
Language
en
Identifiers
MTMT: 2676313
Title of the container document
27th International Conference on Logic Programming (ICLP'11)
ISBN, e-ISBN
978-3-939897-31-6
Document type
könyvrészlet
Document genre
konferenciaközlemény

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV