| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/TRS/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 1004 B |
|
Quelle term.pvs Sprache: PVS |
|||||||||
|
%%-------------------** Term Rewriting System (TRS) **------------------------
%% %% Authors : Andre Luiz Galdino %% Universidade Federal de Goiás - Brasil %% %% and %% %% Mauricio Ayala Rincon %% Universidade de Brasília - Brasil %% %% Last Modified On: October 15, 2008 %% %%---------------------------------------------------------------------------- %%%% Defining S-terms over V inductively, where S is a Signature and V is a %% %%%% set of Variables %% term[variable: TYPE+, symbol: TYPE+, arity: [symbol -> nat]] : DATATYPE BEGIN vars(v: variable): vars? app(f:symbol, args:{args:finite_sequence[term] | args`length=arity(f)}): app? END term ¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28