Alfa - A successor to the proof editor Alf with a graphical user interface, being developed at the Programming Logic Group at Chalmers.


Home		Set as Homepage		Add to Favorite		Contact

26 November, 2009

search for

egories

New Addition

Polyester Bath Mats Manufacturers

Advanced Combustion Technology, Inc.

Indian Staffing Services

Carpet Cleaning Victoria

Color Guard Floors

San Francisco Caregiver

Baltimore Innovations- Desiccant and Moisture Control Experts

Griffin Construction Services

Hotel in Jodhpur - Hotel Sachdeva Excellency

Indian Institute of Alternative Medicine

Solar Panels Outlet

Kitchens

Door Architrave Manufacturers

Dynamic Website Designing

Kobe Motor Company Exports Japanese Used Cars

Bamboo Flooring

OmniCoil Spring Works Inc.

Affordable Used Cars

Australian Vets.

Mercator

Category: Main » Science » Math » Logic and Foundations » Computational Logic	UPDATE INFO \| REPORT BROKEN LINK
Alfa	Popularity: Hit: 67

Details:

	A successor to the proof editor Alf with a graphical user interface, being developed at the Programming Logic Group at Chalmers. Available for download. Sponsored Links:
URL:	http://www.cs.chalmers.se/~hallgren/Alfa/
Title:	The Proof Editor Alfa
Description:	Science, Math, Logic and Foundations, Computational Logic - Alfa. A successor to the proof editor Alf with a graphical user interface, being developed at the Programming Logic Group at Chalmers.
Specialized in:	Alfa

Dual Identity Combinators (Popularity:

): Article by Katalin Bimbó presented at the 20th World Congress of Philosophy. Investigates the addition of identity combinators, in the ...
Kolmogorov Complexity in Combinatory Logic (Popularity:

): Online article by John Tromp. Kolmogorov complexity is a recursion theoretic characterisation of randomness.
Lambda (Popularity:

): An online introduction to the lambda calculus by Lloyd Allison, complete with a web form that will evaluate lambda expressions.
Perl Contains the Lambda-Calculus (Popularity:

): Explains why this computer program is well suited to apply to functional application.
Automated Reasoning (Popularity:

): Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro.
MetaPRL logical programming environment (Popularity:

): The next generation of the NuPrl proof development system. The main new features of MetaPRL include: 1) Modularity. Programs and ...
NuPrl Proof Development System (Popularity:

): A powerful tactic-based proof assistant, developed over the last 15 years at Cornell University. IFeatures include: very expressive logical language ...
Kumo (Popularity:

): A web-based proof assistant. It assists with proofs in first order hidden logic, using OBJ3 as a reduction engine. The ...
Af2 Proof Assistant (Popularity:

): A type system based on second order intuitionistic logic.
Isabelle (Popularity:

): Homepage of the theorem prover environment developed by Larry Paulson at Cambridge University and Tobias Kipkow at TU Munich.

Popular Sites

Automated Reasoning (Popularity:

): Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro.
Dual Identity Combinators (Popularity:

): Article by Katalin Bimbó presented at the 20th World Congress of Philosophy. Investigates the addition of identity combinators, in the ...
NuPrl Proof Development System (Popularity:

): A powerful tactic-based proof assistant, developed over the last 15 years at Cornell University. IFeatures include: very expressive logical language ...
Kumo (Popularity:

): A web-based proof assistant. It assists with proofs in first order hidden logic, using OBJ3 as a reduction engine. The ...
Lambda (Popularity:

): An online introduction to the lambda calculus by Lloyd Allison, complete with a web form that will evaluate lambda expressions.

Related Press

TiVo Reports Results for the Third Quarter Fiscal Year 2010 Ended October 31, 2009 (Popularity:

): TiVo Inc. (Nasdaq: TIVO), the creator of and a leader in television services for digital video recorders (DVRs), today reported ...
Sade Set to Release SOLDIER OF LOVE Worldwide on February 8th (Popularity:

): The wait is now over. Epic Records is pleased to announce the release of SOLDIER OF LOVE, the highly anticipated ...
Survey: 90 Percent of Consumers to Shop Online this Holiday Season; Majority Have Security Concerns (Popularity:

): A new exclusive survey from Sunbelt Software, a leading provider of Windows security software, reveals that more than half (56 ...
BMO Financial Group Announces Agreement to Acquire the Diners Club North American Franchise From Citigroup (Popularity:

): Gives BMO exclusive rights to issue Diners Club cards in North America; clients will benefit from worldwide acceptance and ability ...
CUNA/CFA 10th Annual Survey of Consumer Holiday Spending Attitudes, Plus Spending Tips (Popularity:

): Consumers plan to spend more during the holidays this year than during the depths of the recession a year ago, ...

Related Articles

Time Travel Exotica (Popularity:

): Travel and time, they go together. When you travel you take time, whether for business or pleasure or both there ...
Web designing services in Mumbai (Popularity:

): Recently i visited the website <a href="http://www.webdesigning-mumbai.com> www.webdesigning-mumbai.com</a> and found out that it provides with best solutions for creating a ...
10 Hints that Comprises SEO Copywriting Handbook (Popularity:

): Starting with SEO copywriting creates lot of confusions with website content writing. But in reality there is a huge difference ...
New VXA X Tape Storage Versions (Popularity:

): The VXA-X tape format was launched into the market in October, 2004. Exabyte is a global leader and is well ...
Mobile Web Design � What Are The Benefits Of The Concept? (Popularity:

): The World Wide Web is a haven for information. People log on to the Internet to find information, interact with ...