Computer Science Links
Bibliographies
-
Citeseer
-
The
Collection of Computer Science Bibliographies
-
DBLP
Bibliography
-
Springer
LINK: Lecture Notes in Computer Science (Subseries Lecture Notes in Artificial
Intelligence)
-
Lecture
Notes in Computer Science (Subseries Lecture Notes in Artificial Intelligence)
-
LNCS
-
Elsevier
Science: alerting services
-
ScienceDirect
- Home Theoretical
Computer Science - List of Issues
Software development
-
Programming
Methods Laboratory
-
I-Logix,
Inc. - Rhapsody Overview
-
Interactive
Software Development and Renovation Software Page
-
The
Mozart Programming System
Specification Languages
-
CoFI/CASL, see also the Bremen pages
-
The
World Wide Web Virtual Library: Formal Methods
-
The
MAYA System
- Homepage of the
OBJ Family, including the latest version of the latest member, which is
BOBJ.
-
CafeOBJ
Official Homepage
-
Larch
Frequently Asked Questions
-
The
OpenMath Society: OpenMath
-
The
OpenMath Society: OpenMath
-
Research
groups in Logic and Theoretical Computer Science
-
Institut
für Softwaretechnik und Programmiersprachen
-
Kestrel
Institute-Home
-
A
Home Page on Higher-Order Specifications
-
Formal
Methods Educational Resources
Functional Programming
-
Online
Bibliography of Haskell Research
-
Haskell
Language Design, Semantics and Theoretical Aspects
-
O'Hugs
computing environments
-
Cayenne
-
O'Haskell
-
Eager
Haskell
-
Monads and arrows - imperative
programming in Haskell
-
Yampa (abstract functional robotics)
-
Standard
ML of New Jersey
-
Implementation
work using ML
-
Standard
ML Basis Library
-
Moscow
ML Home Page
-
Poly/ML
-
Moby
-
Timber
-
Sparkle:
a theorem prover for Clean
-
Principles
of Program Analysis
-
The
Types Forum
Logic
-
Mathematical
Logic around the world
-
The
Language, Proof, and Logic Homepage
-
75 years of first-order logic
-
The
Logic Machine
-
Teaching
resources
-
PCML
Home Page
-
LOGIC
FOR MATHEMATICS AND COMPUTER SCIENCE
-
Around
Goedel's Theorem. What is Mathematics. Incompleteness, Set Theory. By K.Podnieks
-
Models
of Software Systems
-
Non-classical
Reasoning
-
Logic
software and logic education
- Logical
Framework Implementations
- Foundations
of mathematics
-
Systematic overview of modal logics
Theorem Proving
-
Isabelle
-
PVS
-
The
HOL System
-
PROSPER
- Proof and Specification Assisted Design Environments
-
Mizar
Home Page
-
The
Coq proof assistant
-
Michael
Kohlhase's Home Page
-
OMEGA
(A Mathematical Assistant)
-
TAS
and IsaWin home page.
-
John
Harrison
-
Partiality
and its Mechanization
-
CADE-Workshop
Partiality
-
Mechanized
Reasoning
-
Algorithms for testing satisfiability of propositional formulas
Category Theory
-
Categories
Home Page
-
Theory
and Applications of Categories
-
FG
KATMAT
-
Practical
Foundations of Mathematics
-
Graphical
Database for Category Theory
-
Coalgebra.net
XML
-
Frequently
Asked Questions about the Extensible Markup Language
-
fxp
- a Functional XML Parser
-
The
Annotated XML Specification
-
Free
XML tools and software
-
HaXml:
Haskell and XML
-
Extensible
Markup Language (XML) 1.0
-
XML
Linking Language (XLink) Version 1.0
-
XML-RPC
Specification
TeX
-
BibTeX
Tools
-
A
Survey of Bibliographic Tools
-
HyperBibTeX
-
Xy-pic
Home Page
-
MiKTeX
Project Page
-
TexPoint
- A Latex add-in for Powerpoint
Miscellaneous
-
Douglas
Hofstadter (Artificial Intelligence)
-
Martin
Müller (Artificial Intelligence)
-
Theory
of genetic algorithms
-
Catalog
of Compiler Construction Tools
-
X-ROOMS
-