Basic theoretical science research is a prerequisite for all scientific, technical and modern medical research. It is a prerequisite for concentrated future efforts within all high-technology research fields that theoretical science is of a very high quality.
www.ctn.au.dk/en
Theoretical computer science - Wikipedia, the free encyclopedia
Theoretical computer science is the collection of topics of computer science that focuses on the more abstract, logical and mathematical aspects of computing, such as the theory of computation, analy...
en.wikipedia.org/wiki/Theoretical_computer_science
The Institute of Theoretical Science is a center for research in several interrelated disciplines that encompass mathematics, theoretical chemistry, and theoretical physics.
www.uoregon.edu/~its/
Welcome to the Princeton Center for Theoretical Science ... The Princeton Center for Theoretical Science is designed to enhance research and education in the theoretical natural sciences through prestigious postdoctoral fellowships and programs that identify and explore forefront issues in theoretical science.
www.pctp.princeton.edu/pctp/
This page contains some pointers to papers and pages of general interest to the theory community, theory related software available on the net, upcoming conferences and attendees of previous conferences, the genealogy of theoretical computer scientists, and some other assorted stuff.
robotics.stanford.edu/~suresh/theory/theory-home.html robotics.stanford.edu/~suresh/theory/theory-home.html
Browse Journals > Theoretical Computer Science home ... Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding,
www.elsevier.com/wps/find/journaldescription.cws_home/5... www.elsevier.com/wps/find/journaldescription.cws_home/505625/description
The online version of Theoretical Computer Science on ScienceDirect, the world's leading platform for high quality peer-reviewed full-text publications in science, technology and health. ... Open All Previews ... On the complexities of consistency checking for restricted UML class diagrams; Pages 301-323; Ken Kaneiwa,
www.sciencedirect.com/science/journal/03043975 www.sciencedirect.com/science/journal/03043975
The online version of Electronic Notes in Theoretical Computer Science on ScienceDirect, the world's leading platform for high quality peer-reviewed full-text publications in science, technology and health. ... = Full-text available ... = Abstract only...
www.sciencedirect.com/science/journal/15710661 www.sciencedirect.com/science/journal/15710661
European Association for Theoretical Computer Science (EATCS) is an international organization founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science.
www.eatcs.org/
The International Journal of Foundations of Computer Science is a bimonthly journal that publishes articles which contribute new theoretical results in all areas of the foundations of computer science. The theoretical and mathematical aspects covered include:
www.cs.ucsb.edu/~ijfcs/
Related Topics
Definitions