Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Inductionless induction"'
Autor:
Yuki Chiba, Keiichirou Kusakari
Publikováno v:
IEICE Transactions on Information and Systems. :707-715
The completeness (i.e. confluent and terminating) property is an important concept when using a term rewriting system (TRS) as a computational model of functional programming languages. Knuth and Bendix have proposed a procedure known as the KB proce
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0d2b3266ae729d29534da2cb8baaccbd
https://doi.org/10.1093/ietisy/e90-d.4.707
https://doi.org/10.1093/ietisy/e90-d.4.707
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Supervisor:外山 芳人
情報科学研究科
修士
情報科学研究科
修士
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::d1a0695746200a2de29b520fed7d278c
http://hdl.handle.net/10119/1240
http://hdl.handle.net/10119/1240
Autor:
Courant, Judicael
Publikováno v:
[Research Report] LIP 1996-26, Laboratoire de l'informatique du parallélisme. 1996, 2+14p
In the field of formal methods, rewriting techniques and provers by consistency in particular appear as powerful tools for automating deduction. However, these provers suffer limitations as they only give a (non-readable) trace of their progress and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5f5aa5421f32b0c9964aaf74369917d3
https://hal-lara.archives-ouvertes.fr/hal-02101787
https://hal-lara.archives-ouvertes.fr/hal-02101787
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.