Zobrazeno 1 - 10
of 11
pro vyhledávání: '"George Koletsos"'
Publikováno v:
Innovations in Systems and Software Engineering. 13:51-66
Open standardization seems to be very popular among software developers as it simplifies the standard's adoption by the software engineering. Formal specification methods, while very promising, are being adopted slowly as the industry seems to have l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::93dac285095d42ae824997d76093af8d
https://doi.org/10.1007/s11334-016-0283-9
https://doi.org/10.1007/s11334-016-0283-9
Autor:
George Koletsos
Publikováno v:
Fundamenta Informaticae. 121:185-202
We use the system of intersection types and the type assignment method to prove ter- mination properties in λ-calculus. In the first part we deal with conservation properties. We give a type assignment proof of the classical conservation theorem for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a0dc896a96b768eee34b61abd08635d4
https://doi.org/10.3233/fi-2012-775
https://doi.org/10.3233/fi-2012-775
Publikováno v:
Fundamenta Informaticae. 38:281-324
A family of many-valued modal logics which correspond to possible-worlds models with many-valued accessibility relations, has been recently proposed by M. Fitting [7, 8]. Non-monotonic extensions of these logics are introduced with a fixpoint constru
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a081665218c9685ba381502ef79c6779
https://doi.org/10.3233/fi-1999-38303
https://doi.org/10.3233/fi-1999-38303
Publikováno v:
The Computer Journal. :bxv120
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::37f7a998f9b0766868cf5e59c2ce9f7c
https://doi.org/10.1093/comjnl/bxv120
https://doi.org/10.1093/comjnl/bxv120
Publikováno v:
2012 International Symposium on Innovations in Intelligent Systems and Applications.
Formal methods, while very promising, are being adopted by software/protocol engineers very slowly, as the industry has little motivation to move into this new, unknown territory. At the same time, new industrial standards are being released quite fr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b1239dcaf575e2d0441e002fd093da22
https://doi.org/10.1109/inista.2012.6246931
https://doi.org/10.1109/inista.2012.6246931
Publikováno v:
Web Reasoning and Rule Systems ISBN: 9783642332029
RR
RR
Conjunctive query (CQ) answering is a key reasoning service for ontology-based data access. One of the most prominent approaches to conjunctive query answering is query rewriting where a wide variety of systems has been proposed the last years. All o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d76cb43886103888a6dcbfc45cdb5c01
https://doi.org/10.1007/978-3-642-33203-6_13
https://doi.org/10.1007/978-3-642-33203-6_13
Publikováno v:
2009 Fourth South-East European Workshop on Formal Methods.
Syntax Notation One (ASN.1) is a very popular specification language with many applications in networking. We work towards the correct translation from ASN.1, into the powerful algebraic specification language CafeOBJ. Our aim is to create a software
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f1009f963928ab28bd989c8aedb4a449
https://doi.org/10.1109/seefm.2009.9
https://doi.org/10.1109/seefm.2009.9
Autor:
George Koletsos, George Stavrinos
Publikováno v:
The Australasian Journal of Logic. 6
We give a proof via reducibility of the Church-Rosser property for the system D of λ-calculus with intersection types. As a consequence we can get the confluence property for developments directly, without making use of the strong normalization prop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bab40bd05e5a33f80f00448e9c7d4016
https://doi.org/10.26686/ajl.v6i0.1792
https://doi.org/10.26686/ajl.v6i0.1792
Publikováno v:
International Journal of Reasoning-based Intelligent Systems. 2:300
The adoption of algebraic specification techniques by the networks' research community is happening slowly but steadily. We present a software environment that can translate a protocol's specification, from Abstract Syntax Notation One (ASN.1), into
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a00dedbe66154d2a40be3a506b0abf9c
https://doi.org/10.1504/ijris.2010.036878
https://doi.org/10.1504/ijris.2010.036878
Autor:
George Koletsos
Publikováno v:
Journal of Symbolic Logic. 50:791-805
Since the invention of β-logic by J. Y. Girard, a lot of work has been done concerning different aspects of this logic, β-completeness (classical and intuitionistic), interpolation theorems, and completeness of Lβω are some examples of this (see
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5521a6292f73a91edd3e0df63d1d5f13
https://doi.org/10.2307/2274331
https://doi.org/10.2307/2274331