| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/gfx/2d/ (Browser von der Mozilla Stiftung Version 136.0.1©) Datei vom 10.2.2025 mit Größe 1 kB |
|
Quelle ars.pvsSprache: PVS |
|||||||||||||||
|
%%-------------------** Abstract Reduction System (ARS) **------------------- %% %% 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 %% %%--------------------------------------------------------------------------- ars[T : TYPE] : THEORY BEGIN IMPORTING results_commutation[T], modulo_equivalence[T], confluence_commute[T], results_normal_form[T], newman_yokouchi[T] end ars
¤ Dauer der Verarbeitung: 0.20 Sekunden (vorverarbeitet am 2026-04-28) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-05-26