91-100 of 1556 Matching Directory Listings
RTL Synthesis – Synopsys
Specifies the functions of the DC Ultra tool, which is used in formal verification and other uses as a design compiler. Provides an archive of technical articles.
http://www.synopsys.com/products/logic/design_compiler.html
Alicia's Fractals
Information includes the post-processed fractals, portraits, downloads, and related links.
http://www.alicia-logic.com/fractals/
Dark-Logic
Contains articles and tutorial materials on C++, LISP and PC security.
http://dark-logic.com/
Def-Logic
Contains freeware games such as Swarm, Flatland, Dark Age, Equalizer, Replicator and Popaloon that are JavaScript-written and made by Brent Silby.
http://www.def-logic.com/
21st Days of Weak Arithmetics
21 Journées sur les Arithmétiques Faibles. St.Petersburg, Russia, June 7-9, 2002.
http://logic.pdmi.ras.ru/jaf21/
Abstract Service for Mathematical Logic v0.81
A collection of abstracts. Also allows submission of abstracts of papers on the subject.
http://www.logic.univie.ac.at/abstract/
Logical Laws
Presents laws not containing quantifiers, formulas, and equivalence. With details on quantifier alterations.
http://sakharov.net/logic.html
Echo's Memorial
Provides photo gallery, memorial entries, cartoon pages, and other featured pages.
http://www.alicia-logic.com/memorials/echo.asp
LolaLand
Activity information and photo gallery of featured dogs.
http://www.alicia-logic.com/lolaland/default.asp
SFU Logic and Functional Programming Group
Profiles of research members with organization history, objectives, and specific interests.
http://www.cs.sfu.ca/research/groups/Logic-Functional.html
Logic and Set Theory
Various theories and foundations.
http://archives.math.utk.edu/topics/logic.html
|
BOTW Sponsors
Your Ad Here - FREE Trial
|