BibSonomy :: 
tag ::
order by
(
date
|
folkrank
)
The blue social bookmark and publication sharing system.
- Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas i...Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Isabelle is developed at University of Cambridge (Larry Paulson) and Technische Universität München (Tobias Nipkow). See the Isabelle overview for a brief introduction. Now available: Isabelle2008 Some notable improvements: * HOL: significant speedup of Metis prover; proper support for multithreading. * HOL: new version of primrec command supporting type-inference and local theory targets. * HOL: improved support for termination proofs of recursive function definitions. * New local theory targets for class instantiation and overloading. * Support for named dynamic lists of theorems.
- This page represents the current state of an ongoing effort to collect information about existing automated reasoning systems. One objective is to provide ...This page represents the current state of an ongoing effort to collect information about existing automated reasoning systems. One objective is to provide concise useful information for people who have need for such a system and don't want to `roll their own'. Another objective is to provide a single place where information about existing systems can be accessed, thus providing an overview of the state of the art.
- 10th International Conference on Formal Concept Analysis | Leuven, Belgium | 6 – 10 May 2012
- Literaturliste von Uta Priss mit relevanten Veröffentlichungen zu FCA
- Reminds me of what I said about institutions needing to be conceptualised as networks of influence if any change is going to be stimulated/managed
- PhD Candidates: CVs & Cover Letters • Graduate Students • Brown University Career Development Center
- A Special Issue on Formal Proof Using computers in proofs both extends mathematics with new results and creates new mathematical questions about the nat...A Special Issue on Formal Proof Using computers in proofs both extends mathematics with new results and creates new mathematical questions about the nature and technique of such proofs. This special issue features a collection of articles by practitioners and theorists of such formal proofs which explore both aspects. (pp. 1363) Thomas Hales (pp. 1370) Formal Proof--The Four-Color Theorem Georges Gonthier (pp. 1382) Formal Proof--Theory and Practice John Harrison (pp. 1395) Formal Proof--Getting Started Freek Wiedijk
- Formal Approaches to Testing of Software (FATES)
- Design methods in information systems frequently create software descriptions using formal languages. Nonetheless, most software designers prefer to descr...Design methods in information systems frequently create software descriptions using formal languages. Nonetheless, most software designers prefer to describe software using natural languages ...
- Design methods in information systems frequently create software descriptions using formal languages. Nonetheless, most software designers prefer to descr...Design methods in information systems frequently create software descriptions using formal languages. Nonetheless, most software designers prefer to describe software using natural languages ...
- Conceptual Structures: From Information to Intelligence, volume 6208 of Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, (2010)
- Order 12(2):149--158 (1995)
- Proceedings of the sixth international conference on Knowledge capture, page 121--128. New York, NY, USA, ACM, (2011)
- Computers in Industry 62(3):323-336 (2011)cited By since 1996 0 .
- Software and Systems Modeling 9(2):161-201 (2010)
- In Proceedings of the International Symposium of Formal Methods Europe FM 2005, volume 3582/2005 of Lecture Notes in Computer Science, page 512--528. (2005)
- Lecture Notes in Computer Science Springer, Berlin/Heidelberg, (2005)
- Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 535--548. New York, NY, USA, ACM, (2011)
- ECOOP 2008 – Object-Oriented Programming, volume 5142 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2008)
- Theor. Comput. Sci. (November 1991)
- Springer, Berlin/Heidelberg, (1999)
- Hochschultaschenbuch Spektrum Akademischer Verlag, (1997)
- ZUM, volume 1493 of Lecture Notes in Computer Science, page 367-406. Springer, (1998)
- ZUM, volume 1212 of Lecture Notes in Computer Science, page 425-433. Springer, (1997)
- ZUM, volume 1212 of Lecture Notes in Computer Science, page 391-424. Springer, (1997)
- IFM, volume 1945 of Lecture Notes in Computer Science, page 277-296. Springer, (2000)
- Z User Workshop, page 185-209. (1994)
- Z User Workshop, page 397-403. (1994)
- Z User Workshop, page 359-396. (1994)
- Z User Workshop, page 141-167. (1994)
