Talk:Transaction logic

This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy articles

Low

This article has been rated as Low-importance on the project's importance scale.

Associated task forces:
/
	Logic

Language syntax

This stub could use a section on language syntax... and I know there are more references to look at for later inclusion. Hotfeba 23:57, 17 August 2007 (UTC)[reply]

Difficulty of the Examples

The examples are a little hard to understand. Maybe add some text prose around the example, or some comments in the code or some references.

The graph coloring works more or less for me. But what will the pyramid stacking do? Will it fetch blocks from anywhere?

Can the latter example by turned into solving the tower of hanoi problem? Jan Burse (talk) 20:11, 17 September 2013 (UTC)[reply]

Assessment comment

The comment(s) below were originally left at Talk:Transaction logic/Comments, and are posted here for posterity. Following several discussions in past years, these subpages are now deprecated. The comments may be irrelevant or outdated; if so, please feel free to remove this section.

== Rated as stub == Needs expansion regarding language syntax, role of oracles, serial Horn formulae/programming... Hotfeba 23:58, 17 August 2007 (UTC)[reply]

Last edited at 23:58, 17 August 2007 (UTC). Substituted at 03:20, 3 May 2016 (UTC)