Filters








1,057,240 Hits in 3.8 sec

Introduction to computability logic

Giorgi Japaridze
<span title="">2003</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bnojym2hjzcgnpa4wixi2axhnq" style="color: black;">Annals of Pure and Applied Logic</a> </i> &nbsp;
This work is an attempt to lay foundations for a theory of interactive computation and bring logic and theory of computing closer together.  ...  The author has tried to make this article easy to read. It is fully self-contained and can be understood without any specialized knowledge of any particular subfield of logic or computer science.  ...  Introduction Computability, i.e. algorithmic solvability, is certainly one of the most interesting concepts in mathematics and computer science, and it would be more than natural to ask the question about  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0168-0072(03)00023-x">doi:10.1016/s0168-0072(03)00023-x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/izj4ic4fhvg3vna6gwbfo4fktq">fatcat:izj4ic4fhvg3vna6gwbfo4fktq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060827230927/http://www.csc.villanova.edu/~japaridz/ICL.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9b/bb/9bbb44c61a16a8ec57de15ed11827e268a3e3691.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0168-0072(03)00023-x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Introduction to Fuzzy Logic [chapter]

<span title="2013-04-22">2013</span> <i title="John Wiley &amp; Sons Ltd"> Computational Intelligence </i> &nbsp;
This paper gives basics and reviews some classical as well as new applications of fuzzy logic. The main emphasis of the paper is on fuzzy decision making under a linguistic view of fuzzy sets.  ...  Introduction We are celebrating the 40 th anniversary of the publication of the seminal paper of Lotfi A.  ...  If the subtraction of ε is continued, new values will Manuscript received February 2, 2004 The author is with Department of Computer Science and Computer Engineering, University of Dortmund, 44221 Dortmund  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/9781118534823.ch2">doi:10.1002/9781118534823.ch2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ivisq7sfk5benfjzmevxsoduwa">fatcat:ivisq7sfk5benfjzmevxsoduwa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809025937/http://facta.junis.ni.ac.rs/eae/fu2k52/moraga.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6d/d5/6dd5e277d6cf6956983bb70fa5593893b30ce06f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/9781118534823.ch2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

Introduction to Groebner Bases [chapter]

Bruno Buchberger
<span title="">1997</span> <i title="Springer Berlin Heidelberg"> Logic of Computation </i> &nbsp;
The coefficient matrix and the right hand side vector are To eliminate we compute a Groebner basis with or to force elimination of . We do this by specifying plex( ) or plex( .  ...  Trying to solve the system using the lexicographical monomial ordering, in general will result in a triangular system with one polynomial of degree which even for small is too big to compute.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-59048-1_2">doi:10.1007/978-3-642-59048-1_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l4zw7brunrawfdiojrhudg7eg4">fatcat:l4zw7brunrawfdiojrhudg7eg4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812115325/http://www.maplesoft.com/view.aspx?SF=153693/GroebnerTipsTechniques.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/41/a7/41a71b092046db362a0c9f7d6120f5de46315ea7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-59048-1_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

An Introduction to Prolog III [chapter]

Alain Colmerauer
<span title="">1990</span> <i title="Springer Berlin Heidelberg"> Computational Logic </i> &nbsp;
The central innovation is to replace the concept of unification by the concept of constraint solving.  ...  We also present the theoretical foundations of Prolog III, which in fact apply to a whole family of programming languages.  ...  ACKNOWLEDGEMENTS AN INTRODUCTION TO PROLOG III 50  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-76274-1_2">doi:10.1007/978-3-642-76274-1_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ggum3rtfmnh4tmwi2lqywjxrmq">fatcat:ggum3rtfmnh4tmwi2lqywjxrmq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809072914/http://pageperso.lif.univ-mrs.fr/~alain.colmerauer/ArchivesPublications/PrologIII/acmprolog3e.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/10/64/10642d9cc58de426a1bd0dc27c7a5704b3efc28c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-76274-1_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

An Introduction to Logic Programming [chapter]

<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/oqt3yqhkxvcubnonwg57er4tdq" style="color: black;">Studies in Computational Intelligence</a> </i> &nbsp;
These changes make PROLOG different from logic programming and make it difficult to apply to its study the theoretical results concerning logic programming.  ...  In deductive databases one studies such issues like query processing (i.e. computation of all answers to a given goal), integrity constraint checking, handling of updates (i.e. additions and deletions  ...  The aim of this article is to provide a self-contained introduction to the theory of logic programming.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-33459-0_1">doi:10.1007/978-3-540-33459-0_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s5uhe3y5vjfgblfgeb5tj7qhf4">fatcat:s5uhe3y5vjfgblfgeb5tj7qhf4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190430030326/https://ir.cwi.nl/pub/6090/6090D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e5/c3/e5c308520cb59bf9227240a62bda09475c2bb801.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-33459-0_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Introduction to the special issue on computational logic for verification

GERMÁN VIDAL
<span title="">2018</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yhwvj6mbzza5tfz766tokherka" style="color: black;">Theory and Practice of Logic Programming</a> </i> &nbsp;
Logic underlies many fundamental techniques in computer science. It helps us to rigorously formalize these techniques and prove them correct.  ...  It has attracted researchers from both computational logic and program verification communities, giving rise to a fruitful exchange of ideas and experiences.  ...  Introduction to the special issue on computational logic for verification GERMÁN Logic underlies many fundamental techniques in computer science.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s1471068418000029">doi:10.1017/s1471068418000029</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c4gxiijazzgohk6shsfnb5p6cy">fatcat:c4gxiijazzgohk6shsfnb5p6cy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180727151123/https://www.cambridge.org/core/services/aop-cambridge-core/content/view/C9CAAD4DFF63E74F5927F5BC997A8CAD/S1471068418000029a.pdf/div-class-title-introduction-to-the-special-issue-on-computational-logic-for-verification-div.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/de/51/de51d30ccea80d344c6f8390edca796052a3eec5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s1471068418000029"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

Introduction to the special issue on Verification and Computational Logic

MICHAEL LEUSCHEL, ANDREAS PODELSKI, C. R. RAMAKRISHNAN, ULRICH ULTES-NITSCHE
<span title="2004-08-12">2004</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yhwvj6mbzza5tfz766tokherka" style="color: black;">Theory and Practice of Logic Programming</a> </i> &nbsp;
on Verification and Computational Logic is to present high-quality research papers onthe interplay between verification techniques (e.g., model checking,reduction, and abstraction) and logic programming  ...  We believe that, from the number of submitted high-quality papers, we have managed to put together an interesting selection of excellent papers on Verification and Computational Logic in this special issue  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s1471068404002078">doi:10.1017/s1471068404002078</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bx5c6xhinrduzlpb3kfulu6epe">fatcat:bx5c6xhinrduzlpb3kfulu6epe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040910142859/http://www.cs.kuleuven.ac.be:80/~dtai/projects/ALP/TPLP/varia/intro_spec_issue_vol4_56.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/11/27/11272d87f2b2ed6aac51e1db2c04c911e32bc66c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s1471068404002078"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

From Program to Logic: An Introduction [chapter]

Patrice Godefroid, Shuvendu K. Lahiri
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We review, compare and discuss several approaches for representing programs by logic formulas, such as symbolic model checking, bounded model checking, verification-condition generation, and symbolicexecution-based  ...  Introduction The goal of this paper is to provide a short tutorial to several approaches for reasoning about programs using logic.  ...  Moreover, the DART algorithm can then be simply viewed as an iterative way to compute a logic program representation fairly similar to the ones generated by the three previous approaches discussed in this  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-35746-6_2">doi:10.1007/978-3-642-35746-6_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/flkhpzas5nhdph5py3vyopyv5i">fatcat:flkhpzas5nhdph5py3vyopyv5i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20131022035017/http://research.microsoft.com:80/en-us/um/people/pg/public_psfiles/laser2011.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/32/c4/32c4e353ae441499f95ca5cc0d49f05ef3386331.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-35746-6_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

An introduction to logic programming through prolog

Sandro Etalle
<span title="">1999</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hq6x4whtd5hhlhsxzculyeamey" style="color: black;">Science of Computer Programming</a> </i> &nbsp;
If you need to teach Logic Programming to an audience of people who are not very familiar with logic, and, nevertheless, you want to put an appropriate emphasis on the declarative reading of the programs  ...  and provide a rigorous logical approach, this is probably a good course book for you to use.  ...  Book review / Science of Computer Proyramminy 33 (1999) 213~14 The author is a fine and fluent writer; in my opinion this book is actually so easy to follow that it is quite suitable for self-teaching  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0167-6423(98)00024-0">doi:10.1016/s0167-6423(98)00024-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jo3dwdiedbcwto7m5qux7wl5dq">fatcat:jo3dwdiedbcwto7m5qux7wl5dq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190413164001/https://core.ac.uk/download/pdf/82671133.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b3/a2/b3a215f28dbc2a03ebf3d51af12624e2f8f94a43.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0167-6423(98)00024-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Introduction to Stochastic Computing using a Remote Lab with Reconfigurable Logic

Jorge Lobo
<span title="2016-04-28">2016</span> <i title="International Association of Online Engineering (IAOE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lxl6vvnlnfe2zcobu77tt62fvu" style="color: black;">International Journal of Online Engineering (iJOE)</a> </i> &nbsp;
This short paper introduces the basic concepts of Stochastic Computing (SC), and presents additions to a remote lab with reconfigurable logic to allow testing SC circuits.  ...  Stochastic computing allows a tradeoff between resource usage and precision, allowing very simple circuits to perform computations, at the expense of a longer integration time to have reasonable results  ...  CONCLUSIONS We have presented a brief introduction to Stochastic Computing, and provided modules on a remote lab to experiment with this type of circuits.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3991/ijoe.v12i04.5091">doi:10.3991/ijoe.v12i04.5091</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hz65bbccrbeazhq2cwukunraba">fatcat:hz65bbccrbeazhq2cwukunraba</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721151142/http://online-journals.org/index.php/i-joe/article/download/5091/3910" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/02/63/0263731f90bbd08a86e6919d806ce35fca0a3db5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3991/ijoe.v12i04.5091"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science

Liesbeth De Mol, Giuseppe Primiero
<span title="2015-07-03">2015</span> <i title="Informa UK Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/i5tzwd3i7re5rjgpslawhbsqeq" style="color: black;">History and Philosophy of Logic</a> </i> &nbsp;
1 See Tedre 2015 for a recent in-depth study of the past and ongoing debates on what computer science is.  ...  INTRODUCTION When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science Preface The birth, growth, stabilization and subsequent understanding of a  ...  can be reduced to first-order logic.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/01445340.2015.1084183">doi:10.1080/01445340.2015.1084183</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5uu53ql7szf6jo5p4vj5i7kqga">fatcat:5uu53ql7szf6jo5p4vj5i7kqga</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190429142119/https://air.unimi.it/retrieve/handle/2434/588790/1085237/When%20Logic%20Meets%20Engineering%20Introduction%20to%20Logical%20Issues%20in%20the%20History%20and%20Philosophy%20of%20Computer%20Science.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a6/95/a6950a82a3cc2a2acdcc268427376b33aa1f50f9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/01445340.2015.1084183"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> tandfonline.com </button> </a>

An Introduction to Description Logics and Query Rewriting [chapter]

Roman Kontchakov, Michael Zakharyaschev
<span title="">2014</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We consider the syntax and semantics of these description logics as well as main reasoning tasks and their computational complexity.  ...  This chapter gives an overview of the description logics underlying the OWL 2 Web Ontology Language and its three tractable profiles, OWL 2 RL, OWL 2 EL and OWL 2 QL.  ...  Introduction The first aim of this chapter is to introduce and discuss logic-based formalisms that underpin the OWL 2 Web Ontology Language and its three tractable profiles: RL, EL and QL.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-10587-1_5">doi:10.1007/978-3-319-10587-1_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mgqujsvxl5erlkoftaihiuqgoa">fatcat:mgqujsvxl5erlkoftaihiuqgoa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808105619/http://www.dcs.bbk.ac.uk/~roman/papers/RW12014.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/37/30/37302f7c873301a6546a59bf80b9eb1e716dbd92.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-10587-1_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Programming logics: An introduction to verification and semantics

Wim H. Hesselink
<span title="">1990</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hq6x4whtd5hhlhsxzculyeamey" style="color: black;">Science of Computer Programming</a> </i> &nbsp;
Such mechanical assistance requires a profound knowledge of programming logics, but programming logics of a certain kind, namely those that are most adequate for human program derivation.  ...  This massive (over 650 pages) book has been compiled to commemorate the 50th Anniversary of the publication of Alan Turing's paper, "On Computable Numbers, with an Application to the Entscheidungsproblem  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0167-6423(90)90074-n">doi:10.1016/0167-6423(90)90074-n</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xti4uef36vgjdk4elsyujmle4m">fatcat:xti4uef36vgjdk4elsyujmle4m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170929142604/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/7c4/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS8wMTY3NjQyMzkwOTAwNzRu.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b1/cf/b1cf3b5992ec46b8c34a91564c534271d03fc011.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0167-6423(90)90074-n"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

A quick introduction to membrane computing

Gheorghe Păun
<span title="">2010</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/anq6kvwvqbegtipq5vfhvonzqq" style="color: black;">The Journal of Logic and Algebraic Programming</a> </i> &nbsp;
This note is a short and informal introduction to this research area, introducing a few basic notions, research topics, types of results, and pointing out to some relevant references.  ...  Membrane computing is a branch of natural computing inspired from the architecture and the functioning of biological cells.  ...  In particular, Chapter 1 of [19] is a friendly and comprehensive introduction to membrane computing.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jlap.2010.04.002">doi:10.1016/j.jlap.2010.04.002</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/o7y4g34na5ep3krowxu4l42gn4">fatcat:o7y4g34na5ep3krowxu4l42gn4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190328101658/https://core.ac.uk/download/pdf/82793546.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/88/f1/88f1b8703725cd536d1d64e194c97ad38fcb5ac4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jlap.2010.04.002"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Introduction to the configware minitrack- from glue logic synthesis to reconfigurable computing systems

R.W. Hartenstein, V. Milutinovic
<span title="">1999</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zlnwsi4sefbkvlcgv2zcupjqum" style="color: black;">Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers</a> </i> &nbsp;
Application development proceeds in moving out of its logic-design-only niche into systems development: the synthesis of high performance computing systems.  ...  These show, that a point is reached, where reconfigurable computing is a serious alternative to sequential programming of conventional processors.  ...  Application development proceeds in moving out of its logic-design-only niche into systems development: the synthesis of high performance computing systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hicss.1999.772877">doi:10.1109/hicss.1999.772877</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hicss/HartensteinM99.html">dblp:conf/hicss/HartensteinM99</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rtwdycqxlrf43jt2ygemdzu6wu">fatcat:rtwdycqxlrf43jt2ygemdzu6wu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170831093833/https://www.computer.org/web/csdl/index/-/csdl/proceedings/hicss/1999/0001/03/00772877.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e3/e6/e3e6f2bf6e8c1a1e4e50057d8b71992793d1db57.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hicss.1999.772877"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 1,057,240 results