Lines Matching refs:url
9 \usepackage{url}
339 \cite{PeytonJones03}, see also \url{www.haskell.org}.
344 \item[CommonLogic] \url{http://en.wikipedia.org/wiki/Common_logic}
350 World Wide Web Consortium (W3C, \url{http://www.w3c.org}). It is
377 DepQBF \url{http://fmv.jku.at/depqbf/} connected to it.
385 \cite{WeidenbachEtAl02}, see \url{http://www.spass-prover.org};
386 \item Vampire \cite{RiazanovV02} see \url{http://www.vprover.org};
387 \item Darwin \cite{Baumgartner:etal:Darwin:IJAIT:2005}, see \url{http://combination.cs.uiowa.edu/Darwin};
388 \item Eprover \cite{Schulz:AICOM-2002}, see \url{http://www.eprover.org};
389 \item E-KRHyper \cite{DBLP:conf/cade/PelzerW07}, see \url{http://www.uni-koblenz.de/~bpelzer/ekrhyper}, and
397 see \url{http://www.tptp.org}.
408 \item[HolLight] \url{http://www.cl.cam.ac.uk/~jrh13/hol-light/}
418 FreeCAD\\\url{http://sourceforge.net/projects/free-cad}.
420 \item[Maude] is a rewrite system \url{http://maude.cs.uiuc.edu/} for
428 \item [LF] is the dependent type theory of Twelf \url{http://twelf.plparty.org/}. Hets
440 \url{https://lab.cs.ru.nl/BusinessRules/Requirements_engineering}.
574 \url{http://hets.eu}
600 Hets-lib & specification library & \url{http://www.cofi.info/Libraries}\\\hline
601 uDraw(Graph) & graph drawing & \url{http://www.informatik.uni-bremen.de/uDrawGraph/en/}\\\hline
603 \SPASS & theorem prover & \url{http://spass.mpi-sb.mpg.de/}\\\hline
604 Darwin & theorem prover & \url{http://combination.cs.uiowa.edu/Darwin/}\\\hline
636 \Isabelle & theorem prover & \url{http://www.cl.cam.ac.uk/Research/HVG/Isabelle/}\\\hline
638 zChaff & SAT solver & \url{http://www.princeton.edu/~chaff/zchaff.html} \\\hline
639 minisat & SAT solver & \url{http://minisat.se/} \\\hline
640 Pellet & OWL 2 reasoner & \url{http://clarkparsia.com/pellet/} \\\hline
642 & \url{http://userpages.uni-koblenz.de/~bpelzer/ekrhyper/} \\\hline
644 & \url{http://www.reduce-algebra.com/} \\\hline
645 Maude & rewrite system & \url{http://maude.cs.uiuc.edu/} \\\hline
647 Twelf & & \url{http://twelf.plparty.org/} \\\hline
1117 \url{http://www.informatik.uni-bremen.de/uDrawGraph/en/service/uDG31\_doc/}.}.
1392 found at \url{https://github.com/spechub/Hets/blob/master/Persistence/database_postgresql.yml}}
1438 The \texttt{tptp} format (\url{http://www.tptp.org}) is a standard
1484 \url{http://pollux.informatik.uni-bremen.de:8000/}. It allows to browse the
1490 \url{http://trac.informatik.uni-bremen.de:8080/hets/wiki/RESTfulInterface}.
1494 \url{http://localhost:8000/Basic/Numbers.casl}. Once a development has been
1515 \url{http://localhost:8000/Basic/Numbers.casl?session}. These session ids must
1522 entries. \url{http://localhost:8000/123456789?prove=Nat\_\_E1\&prover=SPASS\&timeout=5}
1731 \url{http://www.cs.miami.edu/~tptp/CASC/J3/SystemDescriptions.html#Vampire---8.0}
1783 \cite{DBLP:conf/tacas/Aspinall00,url:ProofGeneral} in a separate Emacs
1784 \cite{url:Emacs,url:XEmacs}.
1855 \url{http://www.reduce-algebra.com/}. Installation is possible as follows:
1904 E-KRHyper\footnote{\url{http://www.uni-koblenz.de/~bpelzer/ekrhyper/}}
1906 KRHyper\footnote{\url{http://www.uni-koblenz.de/~wernhard/krhyper/}} by
2073 of the \Hets home page at \url{http://www.dfki.de/sks/hets}.
2091 \url{hets-users@informatik.uni-bremen.de}
2095 \url{http://www.informatik.uni-bremen.de/mailman/listinfo/hets-users}.