Structural Analysis of Narratives With the Coq Proof Assistant

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-22863-6_7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Encoding Featherweight Java With Assignment and Immutability Using the Coq Proof Assistant

2012English

A Formal Library for Elliptic Curves in the Coq Proof Assistant

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study

IPSJ Digital Courier
2005English

Foundational Extensible Corecursion: A Proof Assistant Perspective

ACM SIGPLAN Notices
Computer Science
2015English

A Structural and Functional Analysis of Dream Narratives.

Dreaming
Psychology
2008English

Proof Pearl: The Termination Analysis of Terminator

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Coping With the Subterranean Environment: A Thematic Content Analysis of the Narratives of Cave Explorers

Journal of Human Performance in Extreme Environments
2017English

Smart Mirror With Voice Assistant

International Journal for Research in Applied Science and Engineering Technology
2019English

Standards of Proof and the Limits of Legal Analysis

SSRN Electronic Journal
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy