Lines Matching refs:label
208 identifiers.\label{fig:lang}
243 \label{fig:LogicGraph}
288 via logic translations.\label{fig:Languages}}
482 \label{comorphisms}
499 \label{fig:SublogicGraph}
736 \section{Heterogeneous Specification} \label{sec:HetSpec}
841 \section{Development Graphs}\label{sec:DevGraph}
964 \caption{Sample development graph.\label{fig:dg0}}
1047 \caption{Development graph for the two sorting specifications.\label{fig:dg1}}
1480 \section{Hets as a web server}\label{sec:Server}
1554 \section{Proofs with \Hets}\label{sec:Proofs}
1572 \caption{Hets Goal and Prover Interface\label{fig:proof_window}}
1609 \label{sec:CC}
1623 \caption{Hets Consistency Checker Interface\label{fig:cons_window}}
1639 \caption{Consistency Checker Results\label{fig:cons_res}}
1644 \label{sec:ATP}
1649 \caption{Interface of the \SPASS prover\label{fig:SPASS_GUI}}
1713 \label{tab:MathServe}
1800 \label{subsec:VSE}
2018 \label{fig:logic:all}
2082 \label{fig:hets}}