searchuk.co.uk The UK's Top Choice for Finding Products & Services
 HOME    current search:     last search:
     
model checking
abstract interpretation
philosophy
binary decision diagrams
bisimulation
process algebra
liveness
formal methods
theorem proving
semantics
mathematical
reasoning about
popl
binary decision diagram
pnueli
proof carrying code
cousot
bdd
dblp
equational
subtyping
lncs
obdd
description logics
extended static
reachability
somenzi
rajeev alur
luca cardelli
decidability
entcs
george necula
partial order
automated reasoning
henzinger
definability
compositional
robdd
bdds
walid taha
mechanizing
satisfiability
model checker
rewriting
igor walukiewicz
stalmarck
jens palsberg
denotational
theoretical computer science
fmcad


This promotion won't last long so start surfing around because somewhere on this site we've hidden a cash prize. That's right, all you need to do is search around our site, find the prize, enter your details and wait for the mail. It's that simple and for many of our past winners, it was great fun discovering new things, reading the latest news and catching up on trends related to our hobbies.
searchuk.co.uk is a search site dedicated to helping users find what they are looking for. We specialize in the UK market and offer the most up-to-date results on the net. Companies that purchase or sell products and services in the UK can be found in the searchuk.co.uk directory which currently contains more than 2 million listings.
 
Top>Science>Math>Logic and Foundations>

> Computability
> Computational Logic
> Directories
> Education
> Foundations
> History
> Institutions
> Meetings
> Model Theory
> Nonstandard Logics and Extensions
> Organizations
> People
> Proof Theory
> Publications
> Set Theory
> Software


1.  curso-de-español.com - spanish online course open in new window
welcome to curso-de-español.com. latest exercises. Give the female form of the nouns ... Fill in the missing possessive pronouns ...
www.curso-de-espanol.com


2.  Curso De Espanol on eBay.co.uk open in new window
eBay.co.uk offers great deals on items related to Curso De Espanol. ... Nuevo Curso De Espanol Students' Book Pt.1, ends Nov-29 3:18 GMT. Lingualphone Curso de ...
search-desc.ebay.co.uk


3.  Curso Segundo at AbeBooks open in new window
Curso Segundo available now at AbeBooks.co.uk.
www.abebooks.co.uk



Abstract Service open in new window
An archive of abstracts of logic articles at the Institute for Logic, University of Vienna.
(http://www.logic.univie.ac.at/abstract/)

Classical Logic open in new window
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
(http://plato.stanford.edu/entries/logic-classical/)

Logic and Games open in new window
Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
(http://plato.stanford.edu/entries/logic-games/)

Math Front: LO Logic open in new window
Front end for the logic section of the mathematics e-print arXiv.
(http://front.math.ucdavis.edu/math.LO)

Mathematical Logic and Foundations open in new window
From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
(http://www.math.niu.edu/~rusin/known-math/index/03-XX.html)

Mind Versus Goedel by Damjan Bojadziev open in new window
Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
(http://nl.ijs.si/~damjan/g-m-c.html)


&catid=298
 
· UK Directory
· Global Directory
&catid=298
 
· Bookmark us
· Contact us
· About us
· Privacy Policy
· Terms of Use
· Advertising
· List your Site
&catid=298
&catid=298 &catid=298 &catid=298
  Copyright © 1996 - 2007 searchuk.co.uk and its licensors - All rights reserved


Computer   Compensation   Entertainment   Finance   Health   Insurance   Travel   Adult   Beauty   Cars   Dating   Electronics   Food & Wine   Gambling   Games   Gifts   Home & Garden   Internet   Jobs   Mobile Phone   Pension   Property   Shopping   Sports   Uk  
 
 

 
Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor