F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
91	References [1] with J.N.Crossley. Constructive Order Types III. Archiv f¨ ur Math. Logik und Grundl., 9:112–116, Paths in Kleene’s O. Archiv f¨ ur Math. Logic und Grundl., 10:8–12, 1967. Add to Reading List Source URL: staff.cs.manchester.ac.uk Language: English - Date: 2014-09-15 08:49:26
92	Implementing a Lazy Functional Logic Language with Disequality Constraints Herbert Kuchen RWTH Aachen, Lehrstuhl fur Informatik II, Ahornstrae 55 Add to Reading List Source URL: gpd.sip.ucm.es Language: English - Date: 2007-02-11 18:19:32
93	A formally verified prover for the ALC description logic ⋆ J. A. Alonso, J. Borrego–D´ıaz, M. J. Hidalgo, F. J. Mart´ın–Mateos, and J. L. Ruiz–Reina {jalonso, jborrego, mjoseh, fjesus, jruiz}@us.es Departamen Add to Reading List Source URL: www.cs.us.es Language: English - Date: 2011-09-22 06:36:31
94	On the Relative Trust between Inconsistent Data and Inaccurate Constraints George Beskales 1 1 Ihab F. Ilyas 1 Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2013-05-27 04:31:53 Data modeling Functional dependency Mathematics Mathematical logic Sigma-algebra
95	A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:48 Category theory Models of computation Adjoint functors Functional programming Logic in computer science Denotational semantics Lambda calculus Cartesian closed category Sheaf F-algebra Kleisli category Monad
96	PDF Document Add to Reading List Source URL: www.f-logic.jp Language: Japanese - Date: 2015-07-22 02:31:39
97	PDF Document Add to Reading List Source URL: www.kroening.com Language: English - Date: 2015-02-13 06:17:10 Formal methods Logic in computer science Vienna Development Method Functional analysis General topology Wellfoundedness Satisfiability modulo theories First-order logic Constructible universe F-algebra Ordinal number Sequence
98	PDF Document Add to Reading List Source URL: www.f-logic.jp Language: Japanese - Date: 2015-05-20 05:20:02
99	On the locality of arb-invariant first-order logic with modulo counting quantifiers F. Harwath N. Schweikardt Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:35:47
100	DELFT UNIVERSITY OF TECHNOLOGY REPORTStability analysis for a peri-implant osseointegration model P.A. Prokharau, F.J. Vermolen Add to Reading List Source URL: www.ewi.tudelft.nl Language: English - Date: 2011-05-11 08:16:58 Partial differential equation Logic Differential equations Entailment

UPDATE