References in zbMATH (referenced in 27 articles , 1 standard article )

Showing results 1 to 20 of 27.
Sorted by year (citations)

1 2 next

  1. Ganesalingam, M.; Gowers, W. T.: A fully automatic theorem prover with human-style output (2017)
  2. Sternagel, Christian; Thiemann, René: A framework for developing stand-alone certifiers (2015)
  3. de Moura, Leonardo; Passmore, Grant Olney: The strategy challenge in SMT solving (2013)
  4. Oliveira, Marcel; Zeyda, Frank; Cavalcanti, Ana: A tactic language for refinement of state-rich concurrent specifications (2011)
  5. Boulton, Richard; Hurd, Joe; Slind, Konrad: Computer assisted reasoning. A Festschrift for Michael J. C. Gordon (2009)
  6. Honsell, Furio; Lenisa, Marina; Liquori, Luigi: A framework for defining logical frameworks (2007)
  7. Armando, Alessandro; Ballarin, Clemens: A reconstruction and extension of Maple’s assume facility via constraint contextual rewriting (2005)
  8. Galmiche, Didier; Pym, David J.: Proof-search in type-theoretic languages: An introduction (2000)
  9. Zhang, Cui; Olsson, Ronald A.; Levitt, Karl N.: Formal verification of a programming logic for a distributed programming language (1999)
  10. Hickey, Jason J.: Nuprl-Light: an implementation framework for higher-order logics (1997)
  11. Giunchiglia, Fausto; Traverso, Paolo: Program tactics and logic tactics (1996)
  12. Poulovassilis, Alexandra; Reddi, Swarup; Small, Carol: A formal semantics for an active functional DBPL. (1996) ioport
  13. Rueß, Harald: Reflection of formal tactics in a deductive reflection framework (1996)
  14. Thompson, Simon: A logic for Miranda, revisited (1995)
  15. Harper, Robert; Sannella, Donald; Tarlecki, Andrzej: Structured theory presentations and logic representations (1994)
  16. Kapur, D.; Nie, X.; Musser, D. R.: An overview of the Tecton proof system (1994)
  17. Kapur, D.; Nie, X.; Musser, D. R.: An overview of the tecton proof system. (1994) ioport
  18. Paulson, Lawrence C.: A fixedpoint approach to implementing (co)inductive definitions (1994)
  19. Noel, P. A. J.: Experimenting with Isabelle in ZF set theory (1993)
  20. Despeyroux, Joëlle: Theo: An interactive proof development system (1992)

1 2 next