E-LIB Suche - Ergebnisse für: Eker, Steven

1

The Maude strategy language:

Eker, Steven ; Martí-Oliet, Narciso ; Meseguer, José..
Journal of Logical and Algebraic Methods in Programming. 134 (2023) - p. 100887 , 2023

Link: https://doi.org/10.1016/..

2

Associative unification in Maude:

Eker, Steven
Journal of Logical and Algebraic Methods in Programming. 126 (2022) - p. 100747 , 2022

Link: https://doi.org/10.1016/..

3

Equational Unification and Matching, and Symbolic Reachabil..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Durán, Francisco ; Eker, Steven ; Escobar, Santiago... - p. 529-540 , 2022

Link: https://doi.org/10.1007/..

4

Programming and symbolic computation in Maude:

Durán, Francisco ; Eker, Steven ; Escobar, Santiago...
Journal of Logical and Algebraic Methods in Programming. 110 (2020) - p. 100497 , 2020

Link: https://doi.org/10.1016/..

5

Associative Unification and Symbolic Reasoning Modulo Assoc..:

, In: Rewriting Logic and Its Applications; Lecture Notes in Computer Science,

Durán, Francisco ; Eker, Steven ; Escobar, Santiago... - p. 98-114 , 2018

Link: https://doi.org/10.1007/..

6

Computing minimal nutrient sets from metabolic networks via..:

Eker, Steven ; Krummenacker, Markus ; Shearer, Alexander G...
BMC Bioinformatics. 14 (2013) 1 - p. , 2013

Link: https://doi.org/10.1186/..

7

The Second Rewrite Engines Competition:

Durán, Francisco ; Roldán, Manuel ; Balland, Emilie...
Electronic Notes in Theoretical Computer Science. 238 (2009) 3 - p. 281-291 , 2009

Link: https://doi.org/10.1016/..

8

Early indicators of exposure to biological threat agents us..:

Das, Rina ; Hammamieh, Rasha ; Neill, Roger...
BMC Infectious Diseases. 8 (2008) 1 - p. , 2008

Link: https://doi.org/10.1186/..

9

All about Maude - a high-performance logical framework

how to specify, program and verify systems in rewriting log... Lecture notes in computer science ; 4350

Clavel, Manuel ; Durán, Francisco ; Eker, Steven... , 2007

Link: http://dx.doi.org/10.100..

10

Deduction, Strategies, and Rewriting:

Eker, Steven ; Martí-Oliet, Narciso ; Meseguer, José.
Electronic Notes in Theoretical Computer Science. 174 (2007) 11 - p. 3-25 , 2007

Link: https://doi.org/10.1016/..

11

Rewriting Logic Systems:

Denker, Grit ; Talcott, Carolyn ; Rosu, Grigore...
Electronic Notes in Theoretical Computer Science. 176 (2007) 4 - p. 233-247 , 2007

Link: https://doi.org/10.1016/..

12

Pathway Logic: Executable Models of Biological Networks:

Eker, Steven ; Knapp, Merrill ; Laderoute, Keith..
Electronic Notes in Theoretical Computer Science. 71 (2004) - p. 144-161 , 2004

Link: https://doi.org/10.1016/..

13

The Maude LTL Model Checker:

Eker, Steven ; Meseguer, José ; Sridharanarayanan, Ambarish
Electronic Notes in Theoretical Computer Science. 71 (2004) - p. 162-187 , 2004

Link: https://doi.org/10.1016/..

14

Term Rewriting with Operator Evaluation Strategies:

Eker, Steven
Electronic Notes in Theoretical Computer Science. 15 (1998) - p. 311-330 , 1998

Link: https://doi.org/10.1016/..

15

The Maude strategy language:

Eker, Steven ; Martí-Oliet, Narciso ; Meseguer, José..
http://arxiv.org/abs/2402.00275. , 2024

Link: http://arxiv.org/abs/240..