Filters








245,241 Hits in 6.8 sec

BSL volume 25 issue 4 Cover and Back matter

2019 Bulletin of Symbolic Logic  
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  
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  
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  
[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

Ines Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Peter Kacsuk
2000 Electronical Notes in Theoretical Computer Science  
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  
, 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  
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  
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  
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  
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)

Valeria de Paiva, Brigitte Pientka
2011 Information and Computation  
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

Markus Roggenbach, Ana Sokolova, Michael Wagner
2019 Conference on Algebra and Coalgebra in Computer Science  
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  
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  
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  
“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