31![Domain Theory for Concurrency —New Categorical Foundations EPSRC Research Grant Application Case for support Glynn Winskel Domain Theory for Concurrency —New Categorical Foundations EPSRC Research Grant Application Case for support Glynn Winskel](https://www.pdfsearch.io/img/6b34367bcaa74b326918d7666530f4b8.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2004-03-03 06:09:38
|
---|
32![Teleo-Reactive Abductive Logic Programs Robert Kowalski and Fariba Sadri Imperial College London, {rak, fs}@doc.ic.ac.uk Abstract. Teleo-reactive (TR) programs are a variety of production systems with a destructively upd Teleo-Reactive Abductive Logic Programs Robert Kowalski and Fariba Sadri Imperial College London, {rak, fs}@doc.ic.ac.uk Abstract. Teleo-reactive (TR) programs are a variety of production systems with a destructively upd](https://www.pdfsearch.io/img/7552f538df1d97236b898995aaa6e040.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2012-01-20 14:02:42
|
---|
33![Towards a Logic-based Production System Language Towards a Logic-based Production System Language](https://www.pdfsearch.io/img/30ee0c9e749abbd20aa8d7a51b5d0024.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2011-08-20 04:15:20
|
---|
34![Finding the minimum input impedance of a secondorder unity-gain Sallen-Key low-pass filter without calculus Kenneth V. Cartwright1 and Edit J. Kaminsky2 Finding the minimum input impedance of a secondorder unity-gain Sallen-Key low-pass filter without calculus Kenneth V. Cartwright1 and Edit J. Kaminsky2](https://www.pdfsearch.io/img/9c8e467cb5a5b04af116d6d140d260be.jpg) | Add to Reading ListSource URL: www.lajpe.orgLanguage: English - Date: 2014-02-21 19:56:18
|
---|
35![Semantics of Programming Languages Computer Science Tripos, Part 1B 2008–9 Semantics of Programming Languages Computer Science Tripos, Part 1B 2008–9](https://www.pdfsearch.io/img/4f1c472292ade0a00b4f880460794d3a.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2009-01-16 04:23:41
|
---|
36![Professor Jan Mikusi´ nski - life and work by
Professor Jan Mikusi´ nski - life and work by](https://www.pdfsearch.io/img/f917fbdadf823c5cd1f56e3098b4dce7.jpg) | Add to Reading ListSource URL: www.jams.or.jpLanguage: English - Date: 2012-11-10 21:11:45
|
---|
37![i960] BOOK REVIEWS i960] BOOK REVIEWS](https://www.pdfsearch.io/img/d3bc601f08c9ce9cdaeaa43a52db561e.jpg) | Add to Reading ListSource URL: www.ams.orgLanguage: English - Date: 2010-01-14 12:39:23
|
---|
38![Operational Semantics Using the Partiality Monad Nils Anders Danielsson Chalmers University of Technology and University of Gothenburg Operational Semantics Using the Partiality Monad Nils Anders Danielsson Chalmers University of Technology and University of Gothenburg](https://www.pdfsearch.io/img/4b4d75fc717326bd0144e3236c00cafa.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2013-10-18 07:55:38
|
---|
39![The Origins of Structural Operational Semantics Gordon D. Plotkin Laboratory for Foundations of Computer Science, The Origins of Structural Operational Semantics Gordon D. Plotkin Laboratory for Foundations of Computer Science,](https://www.pdfsearch.io/img/17c7ede951611e5de4f6228b739abec7.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2004-06-30 10:44:07
|
---|