A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
BSL volume 25 issue 4 Cover and Back matter
2019
Bulletin of Symbolic Logic
Preserved Fulltext
Periodicals postage is paid at Storrs CT and at additional mailing offi ces. The BULLETIN is distributed with THE JOURNAL OF SYMBOLIC LOGIC. ...
Dues include subscriptions to the current volumes of the JOURNAL, the BULLETIN, and the REVIEW. Institutional membership in the Association is available to any academic institution or department. ...
doi:10.1017/bsl.2020.3
fatcat:ifjmgt3nxrem3aoxe7lnstqgma
BSL volume 21 issue 1 Cover and Front matter
2015
Bulletin of Symbolic Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The BULLETIN, the JOURNAL and the REVIEW OF SYMBOLIC LOGIC are the official organs of the Association for Symbolic Logic, an international organization for furthering research in logic and the exchange ...
of logic, and applications of logic to other fields. ...
doi:10.1017/bsl.2015.8
fatcat:ivvvlfpm5vc3tnclihwfqociqu
Page 149 of Mathematical Reviews Vol. 28, Issue 1
[page]
1964
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
5, The algebra of logic ; Chapter 6, Computing and machines; Chapter 7, Logic and circuits; Chapter 8, Logic and the principles of programming; Chapter 9, Human beings and their machines ; Bibliography ...
Hilton, Alice Mary 741 Logic, computing machines, and automation. ...
Publication List of Zoltán Ésik
2017
Acta Cybernetica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
[14] ZoltánÉsik and R. Ramanujam, editors. Selected Papers of the Conference
"Computer Science Logic 2006", number 4 in LMCS, 2006.
[15] ZoltánÉsik, editor. ...
Ferenc Gecseg, volume 14 of Acta Cybern., 1999. Sinisa Crvenkovic, Igor Dolinka, and ZoltánÉsik. The variety of Kleene algebras with conversion is not finitely based. Theor. Comput. ...
doi:10.14232/actacyb.23.1.2017.23
fatcat:tpgf7t2sgfdsriwvebwyce3lr4
Preface
2000
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The workshop also received support from the Association for Logic Programming and from the Department of Computer Science, New Mexico State University. ...
One of the main areas of research in logic programming is the design and implementation of sequential and parallel (constraint) logic programming systems. ...
Volume • Number mentation of logic programming systems. ...
doi:10.1016/s1571-0661(05)80113-6
fatcat:xsdtk2ouh5fxno7gpxaocss654
BSL volume 24 issue 4 Cover and Back matter
2018
Bulletin of Symbolic Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
, Sweden, August 14-20, 2017 ................................... 211
The 2017 Annual Conference of the Australasian Association for Logic, University of
Adelaide, Australia, July 6-7, in Logic (TACL) ...
FOR SYMBOLIC LOGIC 13th Computability in Europe Conference (CIE 2017) Unveiling Dynamics and Complexity, Co-Sponsored by the Association for Symbolic Logic, Turku, Finland, June 12-16, 2017 ........... ...
doi:10.1017/bsl.2018.90
fatcat:sy44v7juvjcahmqg5kaiw6ixdm
BSL volume 20 issue 1 Cover and Front matter
2014
Bulletin of Symbolic Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The BULLETIN, the JOURNAL and the REVIEW OF SYMBOLIC LOGIC are the official organs of the Association for Symbolic Logic, an international organization for furthering research in logic and the exchange ...
of logic, and applications of logic to other fields. ...
doi:10.1017/bsl.2014.12
fatcat:db5m2d3wb5a4bbtr63ro4avcqm
RSL volume 14 issue 2 Cover and Back matter
2021
The Review of Symbolic Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The Review of Symbolic Logic is an established journal from the Association Review of Symbolic Logic is an established journal from the Association Review of Symbolic Logic for Symbolic Logic, published ...
The Review of Symbolic Logic will publish papers in: philosophical and non-classical logics, algebraic logic, and their applications in such fields as computer science, linguistics, game theory and decision ...
IP address: 207.241.232.189, on 20 Jul 2021 at 10:05:42, subject to the Cambridge Core terms of use, available ...
doi:10.1017/s175502032100023x
fatcat:d47eet6xgrftjbrb3iuoubntuu
BSL volume 21 issue 3 Cover and Front matter
2015
Bulletin of Symbolic Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The BULLETIN, the JOURNAL and the REVIEW OF SYMBOLIC LOGIC are the official organs of the Association for Symbolic Logic, an international organization for furthering research in logic and the exchange ...
of logic, and applications of logic to other fields. ...
doi:10.1017/bsl.2015.29
fatcat:optff7325zhnfmmtn2i4h2guum
TLP volume 14 issue 3 Cover and Back matter
2014
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
There is a preferential rate for members of The Association of Logic Programming and The Association of Computing Machinery -please enquire. Six parts form a volume. ...
the structural side of mathematics and mathematical logic to computer science. ...
Technical notes 363 Redundant Sudoku rules bart demoen and maria garcia de la banda 379 Optimal multibinding unification for sharing and linearity analysis gianluca amato and francesca scozzari ...
doi:10.1017/s1471068414000064
fatcat:vd2f6gptpbebpm24n5pqtdkkrm
Intuitionistic Modal Logic and Applications (IMLA 2008)
2011
Information and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Keeping up with the high standards of Information and Computation, of the 14 papers originally submitted only six were accepted. ...
Preface Intuitionistic Modal Logic and Applications (IMLA 2008) Intuitionistic modal logics and type theories are of increasing foundational and practical relevance in computer science and in logic. ...
Kojima and Igarashi denote their modality by a circle, and think of it as the "next" operator in temporal logic. ...
doi:10.1016/j.ic.2011.10.004
fatcat:txwwxspqqbgini6ckefaqd7swa
Front Matter, Table of Contents, Preface, Conference Organization
2019
Conference on Algebra and Coalgebra in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Tarmo Uustalu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14:1-14:19 The Axiom of Choice in Cartesian Bicategories Filippo Bonchi, Jens Seeber, and Paweł ...
Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity Astrid Belder, Bas Luttik, and Jos Baeten . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...
There were further 20 contributed talks, of which 14 were full papers, 2 tool papers, and 6 early ideas. ...
doi:10.4230/lipics.calco.2019.0
dblp:conf/calco/X19
fatcat:zdnf2yfalrearavi62ocigbgsi
MSC volume 23 issue 1 Cover and Back matter
2012
Mathematical Structures in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Logic programming applies to all areas of artificial intelligence and computer science and is fundamental to them. ...
Theory and Practice of Logic Programming emphasises both the theory and practice of logic programming. ...
doi:10.1017/s0960129512001053
fatcat:wst3tpvqvbhyjoq3vfbabf5724
RSL volume 2 issue 3 Cover and Back matter
2009
The Review of Symbolic Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The Review of Symbolic Logic will publish papers in: philosophical and non-classical logics, algebraic logic, and their applications in such fields as computer science, linguistics, game theory and decision ...
The Review of Symbolic Logic is a newly established journal from the Association for Symbolic Logic, published in partnership with Cambridge University Press and with administrative support from the University ...
IP address: 207.241.231.81, on 28 Jul 2018 at 10:51:14, subject to the Cambridge Core terms of use, available ...
doi:10.1017/s1755020309990268
fatcat:o5dv5kfpfveiljeey3bj5vs7gm
Page 136 of Computational Linguistics Vol. 20, Issue 1
[page]
1994
Computational Linguistics
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
“From English to logic: Context-free computation of ‘conventional’ logic translation.” American Journal of Computational Linguistics, 8(1), 27-44.
Thomason, Richmond (1992). ...
“Making computational sense of Montague’s intensional logic.” Artificial Intelligence, 9(3), 287-306.
Pollard, Carl, and Sag, Ivan A. (1987). ...
« Previous
Showing results 1 — 15 out of 245,241 results