Searching for "Proofs in Context." – sorted by Relevance.
306 documents found, showing 1 through 10.
Next 10 →
-
Proofs in Context
- …Categorisation by Context G. Attardi 1 , S. Di Marco 1 , D. Salvi 1 , F. Sebastiani 2 1…
- Cited by 26 (5 self) – Add To MetaCart
-
Building Proofs in Context
- …Building Proofs in Context Giuseppe Attardi and Maria Simi Dipartimento di Informatica Universit…
- Add To MetaCart
-
Interpretation of locales in Isabelle: Theories and proof contexts
- …Interpretation of Locales in Isabelle: Theories and Proof Contexts Clemens Ballarin Fakultät für…
- Cited by 8 (2 self) – Add To MetaCart
-
Providing Assistance for Proofs in the Teaching of Theory of Computation
- … we present a technique which helps students in understanding proofs in the context of automata theory…
- Add To MetaCart
-
On Parikh Slender Context-Free Languages
- … that they can be used in simplifying ambiguity proofs of context-free languages. In this paper Parikh slender…
- Cited by 1 (1 self) – Add To MetaCart
-
On N-algebraic Parikh slender power series
- … :::w m : (1) Proof. If r is Parikh slender, so is supp(r). Also, supp(r) is context-free (see Salomaa…
- Cited by 2 (2 self) – Add To MetaCart
-
The Use of Planning Critics in Mechanizing Inductive Proofs
- … technique for guiding the search for a proof in the context of tactical style reasoning. We propose…
- Cited by 50 (8 self) – Add To MetaCart
-
On the Representation of Codes in Forney Graphs
- … by Forney, for which we give a short proof in the context of binary codes. Keywords: trellis, coding…
- Cited by 1 (1 self) – Add To MetaCart
-
Assertion application in theorem proving and proof planning
- … context at hand. We discuss the connection to proof planning and motivate an application in a project…
- Cited by 13 (7 self) – Add To MetaCart
-
Logics and Type Systems
- ….2 The proof of CR fij for normalizing systems : : : : : : : : : : : : : 117 5.3 Discussion…
- Cited by 69 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
