|
(8 September 2000)
posted by
9 people
jrw
zzkt
rogargon
scis0000001
rgb
anansi
Scis0000002
pileWorks
TomQ
| |
|
Studia Logica, Vol. 59, No. 2. (1997), pp. 217-247.
posted by
2 people
kozima
scis0000001
| |
|
Logic Jnl IGPL, Vol. 8, No. 2. (1 March 2000), pp. 165-210.
by Dm Gabbay, Vb Shehtman
| |
|
Annals of Pure and Applied Logic, Vol. 135, No. 1-3. (September 2005), pp. 1-72.
| |
|
posted by
5 people
kavabean
stagediver
kozima
glaubersp
Scis0000002
| |
|
| |
|
(1998)
by A. Carvalho
| |
|
In Artificial General Intelligence, No. IDSIA-01-03. (2003)
edited by B. Goertzel, C. Pennachin
posted by
4 people
scis0000001
rgb
mzygmunt
pileWorks
| |
|
(31 May 2004)
by Kees Doets, Jan E. Van
| |
|
COMPUTING ANTICIPATORY SYSTEMS: CASYS 2000 - Fourth International Conference, Vol. 573, No. 1. (2001), pp. 20-27.
by Peter Marcer
edited by Daniel M. Dubois
posted by
3 people
scis0000001
rgb
pileWorks
| |
|
COMPUTING ANTICIPATORY SYSTEMS: CASYS 2000 - Fourth International Conference, Vol. 573, No. 1. (2001), pp. 371-374.
edited by Daniel M. Dubois
posted by
3 people
scis0000001
rgb
pileWorks
| |
|
In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78.
by P. L. Wadler
| |
|
In Algebraic Methodology and Software Technology (1997), pp. 465-478.
| |
|
ArXiv e-prints, Vol. 704 (April 2007)
posted by
2 people
kozima
Scis0000002
| |
|
Journal of Logic, Language and Information, Vol. 14, No. 2. (March 2005), pp. 133-148.
posted by
3 people
scis0000001
rgb
pileWorks
| |
|
Logic Jnl IGPL, Vol. 6, No. 1. (1 January 1998), pp. 73-146.
by Dm Gabbay, Vb Shehtman
| |
|
(27 February 1997)
by Ming Li, Paul Vitanyi
| |
|
Studia Logica, Vol. 65, No. 3. (2000), pp. 383-416.
| |
|
Theor. Comput. Sci., Vol. 266, No. 1-2. (2001), pp. 1-57.
posted by
2 people
robertjohnsimmons
kozima
| |
|
(24 Jul 2006)
| |
|
(15 November 2002)
posted by
4 people
mperalta
kozima
terumiyake
shenshei
| |
|
In POPL '99. Proceedings of the 26th {ACM} {SIGPLAN-{SIGACT}} on Principles of programming languages, January 20--22, 1999, San Antonio, {TX} (1999), pp. 147-160.
edited by M. Ac
| |
|
Personal Ubiquitous Comput., Vol. 9, No. 1. (January 2005), pp. 46-65.
posted by
26 people
Information Integration Architecture
mxro
NETS-UAM
NETS
dvallet
rickl
jjcrump
suze
A_Olympia
mamamusings
jolilius
indratmo
parks
ptimmins
locatellimp
ianturton
rgb
MoritzStefaner
erisu
Scis0000002
Philosophy_of_Information
Blog_and_Wiki_Research
Gender_and_Technology
TUCS-ES_Lab
pileWorks
Mandre
| |
|
Journal of Philosophical Logic, Vol. 21, No. 4. (November 1992), pp. 339-356.
posted by
3 people
greg_restall
scis0000001
Scis0000002
| |
|
In PPDP '06: Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming (2006), pp. 201-212.
| |
|
In Typed Lambda Calculus and Applications (1997), pp. 196-213.
| |
|
Commun. ACM, Vol. 3, No. 9. (September 1960), pp. 490-499.
posted by
4 people
deodupke
scis0000001
rgb
pileWorks
| |
|
Information and Computation, Vol. 137, No. 1. (25 August 1997), pp. 1-33.
posted by
2 people
robertjohnsimmons
kozima
| |
|
Logic in Computer Science, Symposium on In Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on, Vol. 0 (2004), pp. 286-295.
posted by
4 people
pirapira
ConcertRG
robertjohnsimmons
kozima
| |
|
Nature, Vol. 410, No. 6832. (26 April 2001), pp. 1023-1024.
| |
|
Vol. 10, No. 2. (1994), pp. 115-152.
| |
|
Information and Computation, Vol. 137, No. 1. (25 August 1997), pp. 69-101.
by Yves Lafont
| |
|
Mathematical Structures in Computer Science, Vol. 11, No. 4. (2001), pp. 511-540.
| |
|
SIGPLAN Not. In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 133-144.
| |
|
ACM Comput. Surv., Vol. 38, No. 1. (2006)
posted by
40 people
eustachediemert
dcombe
makrehchi
thegoose
Social Web
Adaptive-Web
denisparra
conservatism
mmcgloho
EmreSevinc
Torsten_Holmer
pdlug
jrw
mapio
tmmurali
ChaTo
scis0000001
bigbossman
AbnerCYH
rgb
joergkurtwegner
graphminer
azygmunt
Repton
jaspervoskuilen
nvemuri
iris_2001
InternetAlgorithms
tuttle
furykerry
kozaki
Molecular-Modelling
Drug-Design
Cheminformatics
pileWorks
AGH-IISG
CSBBGraphTheory
Community_SSTZ
styliani
krisl
| |
|
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 74-85.
by Tim Sheard
| |
|
Sci. Comput. Program., Vol. 8, No. 2. (April 1987), pp. 173-202.
| |
|
SIGPLAN Not., Vol. 37, No. 12. (December 2002), pp. 60-75.
| |
|
Cognitive Science, Vol. 14, No. 2. (1990), pp. 179-211.
| |
|
(2003)
| |
|
ArXiv Condensed Matter e-prints (December 2005)
by O. Hudak
posted by
2 people
scis0000001
Scis0000002
| |
|
| |
|
(20 Sep 2005)
posted by
3 people
ansobol
scis0000001
Scis0000002
| |
|
(1996)
| |
|
(2004)
posted by
6 people
m8j
mahler
scis0000001
hcs
Scis0000002
sugarexpletive
| |
|
In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1992), pp. 1-14.
| |
|
posted by
2 people
scis0000001
Scis0000002
| |
|
COMPUTING ANTICIPATORY SYSTEMS: CASYS 2000 - Fourth International Conference, Vol. 573, No. 1. (2001), pp. 452-456.
edited by Daniel M. Dubois
| |
|
COMPUTING ANTICIPATORY SYSTEMS: CASYS 2000 - Fourth International Conference, Vol. 573, No. 1. (2001), pp. 31-35.
edited by Daniel M. Dubois
| |
|
COMPUTING ANTICIPATORY SYSTEMS: CASYS 2000 - Fourth International Conference, Vol. 573, No. 1. (2001), pp. 400-411.
edited by Daniel M. Dubois
| |
|
COMPUTING ANTICIPATORY SYSTEMS: CASYS 2000 - Fourth International Conference, Vol. 573, No. 1. (2001), pp. 459-469.
by Mark
edited by Daniel M. Dubois
| |
|
COMPUTING ANTICIPATORY SYSTEMS: CASYS 2000 - Fourth International Conference, Vol. 573, No. 1. (2001), pp. 517-533.
by Pere Julia
edited by Daniel M. Dubois
| |
|
Ann NY Acad Sci, Vol. 879, No. 1. (30 June 1999), pp. 143-153.
| |
|
COMPUTING ANTICIPATORY SYSTEMS: CASYS 2000 - Fourth International Conference, Vol. 573, No. 1. (2001), pp. 534-541.
edited by Daniel M. Dubois
| |
|
COMPUTING ANTICIPATORY SYSTEMS: CASYS 2000 - Fourth International Conference, Vol. 573, No. 1. (2001), pp. 683-693.
edited by Daniel M. Dubois
| |
|
In STOC '70: Proceedings of the second annual ACM symposium on Theory of computing (1970), pp. 149-157.
| |
|
posted by
2 people
scis0000001
Scis0000002
| |
|
(28 July 1997)
posted by
5 people
Scis0000002
msakai
scis0000001
aleks
Compilers
| |
|
by Jingde Cheng
posted by
2 people
scis0000001
Scis0000002
| |
|
(1 October 2004)
| |
|
posted by
2 people
scis0000001
Scis0000002
| |
|
(12 May 2003)
posted by
2 people
scis0000001
Scis0000002
| |
|
posted by
4 people
ilh24
petergraif
rgb
pileWorks
| |
|
posted by
3 people
scis0000001
Scis0000002
Gerard
| |
|
Advances in Neural Networks for Control and Systems, IEE Colloquium on (1994), pp. 2/1-2/2.
posted by
2 people
scis0000001
Scis0000002
| |
|
No. AIM-1440. (1993)
posted by
4 people
pjcite
scis0000001
jborn
Scis0000002
| |
|
In Learning in Graphical Models (1997)
edited by Michael I. Jordan
posted by
5 people
Scis0000002
zheaton
bpacker
scis0000001
vision-ng
| |
|
(5 Feb 1998)
| |
|
ArXiv Quantum Physics e-prints (March 2007)
| |
|
ACM Trans. Comput. Logic, Vol. 5, No. 3. (July 2004), pp. 528-576.
| |
|
ArXiv Computer Science e-prints (April 2000)
by M. Hutter
posted by
3 people
algorithmic
scis0000001
Scis0000002
| |
|
AGU Fall Meeting Abstracts (December 2003)
posted by
2 people
scis0000001
Scis0000002
| |
|
posted by
3 people
scis0000001
Scis0000002
Kristoftol
|






