Temat: Rewriting - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Rewriting" wg kryterium: Temat

Wyświetlanie 1-8 z 8

Zaznacz

Skocz do pozycji: 1.

Tytuł:: The Open Calculus of Constructions. Part 2, An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving
Autorzy:: Stehr, M.-O.
Data publikacji:: 2005
Słowa kluczowe:: equational specification
rewriting logic
type theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: The Open Calculus of Constructions (Part I) : An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving
Autorzy:: Stehr, M-O.
Data publikacji:: 2005
Słowa kluczowe:: equational specification
rewriting logic
type theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Building Constraint Satisfaction Problem solvers using
Autorzy:: Castro, C.
Data publikacji:: 1998
Słowa kluczowe:: constraint satisfaction problems
rewriting logic
computational systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Rule - based constraint programming
Autorzy:: Kirchner, C.
Ringeissen, C.
Data publikacji:: 1998
Słowa kluczowe:: constraint programming
constraint solving
unification
rewriting logic
computational systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Validating Behavioral Component Interfaces in Rewriting Logic
Autorzy:: Johnsen, E.B.
Owe, O.
Torjusen, A.B.
Data publikacji:: 2008
Słowa kluczowe:: validation
components
behavioral interfaces
adaptive testing
rewriting logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Modelling and Analysing Qualitative Biological Models using Rewriting Logic
Autorzy:: Alhumaidan, A.
Steggles, J.
Data publikacji:: 2017
Słowa kluczowe:: genetic regulatory networks
multi-valued networks
qualitative modelling
rewriting logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy
Autorzy:: Coja-Oghlan, A.
Stehr, M-O.
Data publikacji:: 2003
Słowa kluczowe:: place/transition Petri net
Best/Devillers processes
collective token philosophy
member ship equational logic
rewriting logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Formalization and analysis of UML2.0 interaction overview diagram using maude rewriting logic language
Autorzy:: Djaoui, Chafika
Chaoui, Allaoua
Data publikacji:: 2024
Słowa kluczowe:: UML Interaction Overview Diagrams
formal methods
rewriting logic
Maude language
Model-Driven Engineering
MDE
EMF
Sirus
Acceleo; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-8 z 8

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "Rewriting" wg kryterium: Temat