Items where Subject is "Q Science > QA Mathematics (inc Computing science) > QA 9 Formal systems, logics"
Number of items at this level: 48. A
Arapinis, Myrto and Cheval, Vincent and Delaune, Stéphanie
(2015)
Composing security protocols: from confidentiality to privacy.
In: Focardi, Ricardo and Myers, Andrew, eds.
Principles of Security and Trust 4th International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 324-343.
ISBN 978-3-662-46665-0.
E-ISBN 978-3-662-46666-7.
(doi:10.1007/978-3-662-46666-7_17)
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
(KAR id:46880)
|
|
B
Bocchi, Laura,
Yang, Weizhen,
Yoshida, Nobuko
(2014)
Timed Multiparty Session Types.
In: Baldan, Paolo and Gorla, Daniele, eds.
International Conference on Concurrency Theory (CONCUR).
Lecture Notes in Computer Science
.
pp. 419-434.
Springer, Berlin, Germany
ISBN 978-3-662-44583-9.
E-ISBN 978-3-662-44584-6.
(doi:10.1007/978-3-662-44584-6_29)
(KAR id:43729)
|
![[thumbnail of BYY14.pdf]](/43729/1.hassmallThumbnailVersion/BYY14.pdf)  Preview
|
Bowman, Howard and Thompson, Simon
(1998)
A tableau method for interval temporal logic with projection.
In: deSwart, H., ed.
Automated Reasoning with Analytic Tableaux and Related Methods International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 108-123.
ISBN 978-3-540-64406-4.
E-ISBN 978-3-540-69778-7.
(doi:10.1007/3-540-69778-0_17)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:17603)
|
|
Buchberger, Bruno,
Craciun, Adrian,
Jebelean, Tudor,
Kovacs, Laura,
Temur, Kutsia,
Koji, Nakagawa,
Piroi, Florina,
Popov, Nikolaj,
Robu, Judit,
Rosenkranz, Markus,
and others.
Windsteiger, Wolfgang
(hide)
(2006)
Theorema: Towards computer-aided mathematical theory exploration.
Journal of Applied Logic,
4
(4).
pp. 470-504.
ISSN 1570-8683.
(doi:10.1016/j.jal.2005.10.006)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:29973)
|
|
C
Cheval, Vincent,
Blanchet, Bruno
(2013)
Proving More Observational Equivalences with ProVerif.
In: Basin, David and Mitchell, John C., eds.
Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings.
Lecture Notes in Computer Science
, 7796.
pp. 226-246.
Springer-Verlag Berlin, Roma, Italy
ISBN 978-3-642-36829-5.
E-ISBN 978-3-642-36830-1.
(doi:10.1007/978-3-642-36830-1_12)
(KAR id:46727)
|
|
Cheval, Vincent,
Comon-Lundh, Hubert,
Delaune, Stéphanie
(2010)
Automating Security Analysis: Symbolic Equivalence of Constraint Systems.
In: Giesl, Jürgen and Hähnle, Reiner, eds.
Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR'10).
Lecture Notes in Computer Science
, 6173.
pp. 412-426.
Springer-Verlag Berlin, Edinburgh, Scotland, UK
ISBN 978-3-642-14202-4.
E-ISBN 978-3-642-14203-1.
(doi:10.1007/978-3-642-14203-1_35)
(KAR id:46730)
|
![[thumbnail of CCD-ijcar10.pdf]](/46730/1.hassmallThumbnailVersion/CCD-ijcar10.pdf)  Preview
|
Cheval, Vincent and Comon-Lundh, Hubert and Delaune, Stéphanie
(2011)
Trace Equivalence Decision: Negative Tests and Non-determinism.
In: Chen, Yan and Danezis, George and Shmatikov, Vitaly, eds.
Proceedings of the 18th ACM conference on Computer and communications security.
ACM, New York, USA, pp. 321-330.
ISBN 978-1-4503-0948-6.
(doi:10.1145/2046707.2046744)
(KAR id:46878)
|
![[thumbnail of CCD-ccs11.pdf]](/46878/1.hassmallThumbnailVersion/CCD-ccs11.pdf)  Preview
|
D
F
G
Gaboardi, Marco,
Katsumata, Shin-ya,
Orchard, Dominic A.,
Breuvart, Flavien,
Uustalu, Tarmo
(2016)
Combining Effects and Coeffects via Grading.
ACM SIGPLAN Notices,
51
(9).
pp. 476-489.
ISSN 0362-1340.
E-ISSN 1558-1160.
(doi:10.1145/2951913.2951939)
(KAR id:57480)
|
![[thumbnail of bieffects.pdf]](/57480/1.hassmallThumbnailVersion/bieffects.pdf)  Preview
|
I
J
K
L
M
O
P
Petricek, Tomas and Orchard, Dominic A. and Mycroft, Alan
(2014)
Coeffects: A calculus of context-dependent computation.
In:
ICFP '14: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September, 2014.
ACM, New York USA, New York, pp. 123-135.
ISBN 978-1-4503-2873-9.
(doi:10.1145/2692915.2628160)
(KAR id:57493)
|
![[thumbnail of paper.pdf]](/57493/1.hassmallThumbnailVersion/paper.pdf)  Preview
|
Petricek, Tomas,
Orchard, Dominic A.,
Mycroft, Alan
(2013)
Coeffects: Unified static analysis of context-dependence.
In:
Lecture Notes in Computer Science.
Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Proceedings, Part II.
7966.
pp. 385-397.
Springer-Verlag
ISBN 978-3-642-39211-5.
(doi:10.1007/978-3-642-39212-2_35)
(KAR id:57543)
|
![[thumbnail of coeffects-icalp13.pdf]](/57543/1.hassmallThumbnailVersion/coeffects-icalp13.pdf)  Preview
|
R
S
Smith, Connor Lane,
Kahrs, Stefan
(2016)
Non-omega-overlapping TRSs are UN.
In:
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016).
2016 Formal Structures for Computation and Deduction.
Leibniz International Proceedings in Informatics
, 52.
22:1-22:17.
Schloss Dagstuhl: Leibniz-Zentrum für Informatik, Porto, Portugal
ISBN 978-3-95977-010-1.
(doi:10.4230/LIPIcs.FSCD.2016.22)
(KAR id:55349)
|
![[thumbnail of proc-kahrs.pdf]](/55349/1.hassmallThumbnailVersion/proc-kahrs.pdf)  Preview
|
T
W
Wheeler, Gregory and Williamson, Jon
(2011)
Evidential Probability and Objective Bayesian Epistemology.
In: Bandyopadhyay, Prasanta S. and Forster, Malcolm R., eds.
Philosophy of statistics.
Handbook of the Philosophy of Science, 7
.
Elsevier Science & Technology/ North Holland, Oxford, pp. 307-331.
ISBN 978-0-444-51862-0.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:27949)
|
|
Windsteiger, Wolfgang and Buchberger, Bruno and Rosenkranz, Markus
(2006)
Theorema.
In: Wiedijk, Freek, ed.
The Seventeen Provers of the World.
Lecture Notes in Artificial Intelligence, 3600
.
Springer, pp. 96-107.
ISBN 978-3-540-30704-4.
(doi:10.1007/11542384_1)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:29974)
|
|
This list was generated on Mon Mar 8 22:35:56 2021 GMT.
|