Found 17 Documents (Results 1–17)
Formalizing semantic bidirectionalization and extensions with dependent types. (English) Zbl 1353.68042
Robustness of interval-valued fuzzy inference triple I algorithms based on normalized Minkowski distance. (English) Zbl 1431.03042
MSC:
03B52
Dependency pairs for proving termination properties of conditional term rewriting systems. (English) Zbl 1353.68155
MSC:
68Q42
Rewriting logic and its applications (extended selected papers from WRLA 2014). (English) Zbl 1354.00093
Combine and conquer: relating BIP and Reo. (English) Zbl 1353.68201
MSC:
68Q85
Belief, knowledge, lies and other utterances in an algebra for space and extrusion. (English) Zbl 1353.68203
Filter Results by …
all
top 5
Author
- Bliudze, Simon (2)
- Meseguer Guaita, José (2)
- Arbab, Farhad (1)
- Aubert, Clément (1)
- Baranov, Eduard (1)
- Barbanera, Franco (1)
- Bartoletti, Massimo (1)
- Bravetti, Mario (1)
- Carayol, Arnaud (1)
- Cristescu, Ioana Domnina (1)
- de’Liguoro, Ugo (1)
- Dokter, Kasper (1)
- Durán, Francisco (1)
- Escobar, Santiago (1)
- Ésik, Zoltán (1)
- Giachino, Elena (1)
- Grohne, Helmut (1)
- Guzmán, Michell (1)
- Haar, Stefan (1)
- Hierons, Robert Mark (1)
- Jongmans, Sung-Shik T. Q. (1)
- Knight, Sophia (1)
- Lanese, Ivan (1)
- Lienhardt, Michael (1)
- Liu, Bei (1)
- Lluch Lafuente, Alberto (1)
- Lucas, Salvador (1)
- Luo, Minxia (1)
- Mavridou, Anastasia (1)
- Merayo, Mercedes G. (1)
- Moreno-Delgado, Antonio (1)
- Muñoz, César A. (1)
- Murgia, Maurizio (1)
- Núñez, Manuel (1)
- Orejas, Fernando (1)
- Perchy, Salim (1)
- Rocha, Camilo (1)
- Rueda, Camilo (1)
- Scalas, Alceste (1)
- Sifakis, Joseph (1)
- Toman, David (1)
- Unel, Gulay (1)
- Valencia, Frank D. (1)
- van Bakel, Steffen (1)
- Vieira, Hugo Torres (1)
- Voigtlander, Janis (1)
- Wong, Peter Y. H. (1)
- Zschaler, Steffen (1)
- Zunino, Roberto (1)
all
top 3
Software
- Maude (5)
- CC-Pi (2)
- ABS (1)
- AProVE (1)
- ATL (1)
- Agda (1)
- ArchJava (1)
- CafeOBJ (1)
- CoBoxes (1)
- Creol (1)
- DIEGO (1)
- ELAN (1)
- Fredhopper (1)
- Haskell (1)
- JCobox (1)
- JavAdaptor (1)
- K tool (1)
- KLEE (1)
- Kronos (1)
- LTL2BA (1)
- MONA (1)
- MSO_Regex_Equivalence (1)
- MTT (1)
- Mcmt (1)
- OBJ3 (1)
- PROGRES (1)
- PTTAC (1)
- PVS (1)
- PoplMark (1)
- Reo (1)
- SLMC (1)
- Scribble (1)
- Slide (1)
- Tyrolean (1)
- Uppaal (1)
- VMTL (1)
- XSB (1)
- mCRL2 (1)