Filters








192,662 Hits in 5.1 sec

Page 2765 of Mathematical Reviews Vol. , Issue 2002D [page]

2002 Mathematical Reviews  
From the preface: “We are happy to present Volume 5 of the Handbook of logic in computer science, on logic and algebraic meth- ods.  ...  See also 45001. 68 COMPUTER SCIENCE 2002d:68001 68-00 03-00 03-06 03B70 68-06 * Handbook of logic in computer science. Vol. 5. Logic and algebraic methods. Edited by S. Abramsky, Dov. M.  ... 

Preface

Ruy de Queiroz, Angus Macintyre, Guilherme Bittencourt
2006 Electronical Notes in Theoretical Computer Science  
The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete  ...  WoLLIC is a series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic.  ...  The proceedings is published as a volume in the series Electronic Notes in Theoretical Computer Science (ENTCS ).  ... 
doi:10.1016/j.entcs.2005.06.032 fatcat:bx2bmxq43nb5lnlxey5tllyipe

Page 3610 of Mathematical Reviews Vol. , Issue 95f [page]

1995 Mathematical Reviews  
From the inside, the methods used in computer science are logical methods, both in the activities of programmers and in programs and how they are implemented.  ...  The next volume will discuss topics having a logical nature. Further volumes dealing with alge- braic foundations of computer science are also contemplated.  ... 

Logic in Computer Science [chapter]

Yuri GUREVICH
2001 Current Trends In Theoretical Computer Science  
Acknowledgments I thank Philip Wadler for sending me his opinions on Yuri Gurevich's comments related to pure functional programming in [8, Section 4.3],  ...  The first was ACM Transactions on Computational Logic, founded in 2000 with Krzysztof Apt as first editor-in-chief, the second was Logical Methods in Computer Science, founded in 2005 with Jiri Adamek  ...  But the reality is that if one zooms into Volume-B research, one finds again the Volume-A/Volume-B dichotomy, also reflected in the range of topics of the Symposium on Logic in Computer Science (LICS),  ... 
doi:10.1142/9789812810403_0003 fatcat:fal4prkmgnb4hgqu6gfiin4c6u

Abstract State Machines 1988-1998: Commented ASM Bibliography [article]

Egon Boerger, James K. Huggins
1998 arXiv   pre-print
Richter, editors, Computer Science Logic, volume 702 of Lecture Notes in Computer Science, pages 182-215. Springer, 1993.  ...  Richter, editors, Computer Science Logic, volume 626 of LNCS, pages 15-34.  ... 
arXiv:cs/9811014v1 fatcat:w3vj5i7mzbccbcibroi7dkmhtq

Proofs-as-Programs in Computable Analysis

Ulrich Berger
2009 Electronic Communications of the EASST  
In Computer Science this idea is known as the "proofs-as-programs paradigm" or "Curry-Howard correspondence".  ...  We present examples from computable analysis showing that this paradigm not only works in principle, but can be used to automatically synthesise practically relevant certified programs.  ...  AVOCS 2009 / 5 Volume 23 (2009) Proofs-as-Programs in Computable Analysis (extended abstract) / 5 Volume 23 (2009)  ... 
doi:10.14279/tuj.eceasst.23.332 dblp:journals/eceasst/Berger09 fatcat:nihg2u2vobbmhgxto2k7vzq7wy

JFP volume 24 issue 5 Cover and Back matter

2014 Journal of functional programming  
Mathematical Structures in Computer Science is a journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer  ...  Logic programming applies to all areas of artificial intelligence and computer science and is fundamental to them.  ... 
doi:10.1017/s0956796814000276 fatcat:pphrr7dgufhenpo2l3gbiwtirq

Front Matter, Table of Contents, Preface, Conference Organization

Markus Roggenbach, Ana Sokolova, Michael Wagner
2019 Conference on Algebra and Coalgebra in Computer Science  
. . . . . . . . . . . . . . 7:1-7:18 Coinduction in Flow: The Later Modality in Fibrations Henning Basold . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  ...  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19:1-19:23 0:vi Contents Decomposing Comonad Morphisms Tool Paper 1:1-1:4 Regular Papers Nominal String Diagrams 2:1-2:5  ...  Preface This volume contains the proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science (CALCO), held at University College London, London, UK, from June 3 to June 6, 2019.  ... 
doi:10.4230/lipics.calco.2019.0 dblp:conf/calco/X19 fatcat:zdnf2yfalrearavi62ocigbgsi

JFP volume 23 issue 5 Cover and Back matter

2013 Journal of functional programming  
Mathematical Structures in Computer Science is a journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer  ...  computer science.  ... 
doi:10.1017/s0956796813000233 fatcat:fkd7ucdr75enletoctgtu3m3gi

MSC volume 5 issue 1 Cover and Back matter

1995 Mathematical Structures in Computer Science  
logic to computer science.  ...  Notions, methods and results from algebras, geometry and category theory nowadays play a major role in theoretical and even applied computer science.  ...  MSCS I ARCH 1995 VOLUME 5 NUMBER 1 C O N T E N T S A remark on the theory of semi-functors 1 R. HOOFMAN AND I.  ... 
doi:10.1017/s0960129500000608 fatcat:qdg2wt634rby5kljhpodgw4tzi

The Encyclopedia of Neutrosophic Researchers, 2nd Volume

Florentin Smarandache
2018 Figshare  
In the past years, the fields of neutrosophics have been extended and applied in various fields, such as: artificial intelligence, data mining, soft computing, decision making in incomplete / indeterminate  ...  / inconsistent information systems, image processing, computational modelling, robotics, medical diagnosis, biomedical engineering, investment problems, economic forecasting, social science, humanistic  ...  International Journal of Science and Reasearch (ISSN Online 2319-7064), Volume 5, Issue 11, pp. 1352-1356, November 2016.  ... 
doi:10.6084/m9.figshare.7076483.v1 fatcat:lywimpsh35hevfonzos5pxzvse

Fuzzy Logic And Control Strategies On A Sump

Nasser Mohamed Ramli, Nurul Izzati Zulkifli
2018 Zenodo  
The current conventional controllers would not be able to solve problems with large time delay and nonlinearities, Fuzzy Logic controller is tested to prove its ability in solving the listed problems of  ...  s for step input and 5 s for pulse generator, by producing small Integral Absolute Error (IAE) values that are 0.66 and 0.36 respectively.  ...  In 100 Sump Volume 50 Sump Volume 50 Flow of Solid In 40 Flow of Solid In 40 Flow of Water In 60 Flow of Water In 60 Step Size 5 Amplitude 1 Step Time 5 Period 10 Solid Density  ... 
doi:10.5281/zenodo.1315803 fatcat:22fkiazwfvdrhgsgurm3ieblwi

MSC volume 6 issue 5 Cover and Back matter

1996 Mathematical Structures in Computer Science  
This is the first book dealing with the computational complexity of mathematical problems for which available information is partial, noisy and priced.  ...  Perspective Edited by Alban Ponse, Maarten de Rijke and Yde Venema The volume is a collection of papers by leading researchers in modal logic and theoretical computer science.  ...  Wainer With contributions from leaders in the field, this volume provides a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory  ... 
doi:10.1017/s0960129500070018 fatcat:35dbwzttabbhnp3bktwrqs3nkq

Book reports

1993 Computers and Mathematics with Applications  
Standard versus non-standard semantics in logics for functional programs. Handbook of Logic in Computer Science. Volume 1. Edited by S. Abramsky, Dov. M. Gabbay, and T. S. E. Maibaum.  ...  Handbook of Logic in Computer Science. Volume 2. Edited by S. Abramsky, Dov. M. Gabbay, and T. S. E. Maibaum. Oxford University Press, Inc., New York, NY. (1992). 571 pages. $98.00. Part 1.  ... 
doi:10.1016/0898-1221(93)90079-b fatcat:pgspfj3pxne33mbvdg4xne4vsi

Page 4688 of Mathematical Reviews Vol. , Issue 97G [page]

1997 Mathematical Reviews  
, master Joensuu, 1995 I I iis cnn ccincedacbasseausnions * 00018 Lecture Notes in Computer Science, 1070 Lecture Notes in Computer Science, 1073 Lecture Notes in Control and Information Sciences, 221  ...  Theory of Computing, 28th Annual, STOC "96 Advances in cryptology -EUROCRYPT "96 Advances in finite element technology Advances in fluid mechanics Algebraic geometry, 5 Anniversary: PIERS cs ccibeiscevcescsvecconeans  ... 
« Previous Showing results 1 — 15 out of 192,662 results