×

zbMATH — the first resource for mathematics

Journal of Logical and Algebraic Methods in Programming

Short Title: J. Log. Algebr. Methods Program.
Publisher: Elsevier, Amsterdam
ISSN: 2352-2208
Online: http://www.sciencedirect.com/science/journal/23522208
Predecessor: The Journal of Logic and Algebraic Programming
Comments: Indexed cover-to-cover
Documents indexed: 376 Publications (since 2014)
References indexed: 348 Publications with 13,375 References
all top 5

Authors

11 Berghammer, Rudolf
10 Meseguer Guaita, José
9 Möller, Bernhard
8 Winter, Michael
7 Höfner, Peter
7 Vieira, Hugo Torres
6 Guttmann, Walter
6 Owe, Olaf
6 Tiezzi, Francesco
6 Yoshida, Nobuko
5 Aceto, Luca
5 Bartoletti, Massimo
5 Furusawa, Hitoshi
5 Ingólfsdóttir, Anna
5 Lanese, Ivan
5 Silva, Alexandra
5 Struth, Georg
4 Barbanera, Franco
4 Bravetti, Mario
4 Corradini, Andrea
4 Durán, Francisco
4 Escobar, Santiago
4 Henrio, Ludovic
4 Johansen, Christian
4 Kahl, Wolfram
4 Larsen, Kim Guldstrand
4 Steffen, Martin
4 Stolz, Volker
4 ter Beek, Maurice H.
3 Bliudze, Simon
3 Castellani, Ilaria
3 de’Liguoro, Ugo
3 Dezani-Ciancaglini, Mariangiola
3 Francalanza, Adrian
3 Haller, Philipp
3 Johnsen, Einar Broch
3 Kawahara, Yasuo
3 Knight, Sophia
3 Kosiol, Jens
3 Krivulin, Nikolai K.
3 Lambers, Leen
3 Llana, Luis
3 Lluch Lafuente, Alberto
3 Lochau, Malte
3 Mousavi, Mohammadreza
3 Nishida, Naoki
3 Oliveira, José Nuno
3 Orejas, Fernando
3 Pantović, Jovanka
3 Pun, Ka I.
3 Ravara, António
3 Rusu, Vlad
3 Sammartino, Matteo
3 Scalas, Alceste
3 Schneider, Gerardo
3 Sifakis, Joseph
3 Silva, Josep
3 Srba, Jiří
3 Taentzer, Gabriele
3 Tamarit, Salvador
3 Tuosto, Emilio
3 Uustalu, Tarmo
3 Vidal, Germán
2 Achilleos, Antonis
2 Albert, Elvira
2 Alpuente, María
2 Arusoaie, Andrei
2 Bernardo, Marco
2 Brunet, Paul
2 Caballero, Rafael E.
2 Camacho, Carlos J.
2 Ciobanu, Gabriel
2 Dang, Han-Hing
2 de Lara, Juan
2 Desharnais, Jules
2 Doberkat, Ernst-Erich
2 Dokter, Kasper
2 El-Hokayem, Antoine
2 Fábregas, Ignacio
2 Falcone, Yliès
2 Ferrari, Gian Luigi
2 Fu, Ming Quan
2 Gadducci, Fabio
2 Garavel, Hubert
2 Ghilezan, Silvia
2 Giachino, Elena
2 Giese, Holger
2 Gnesi, Stefania
2 Gregorio-Rodríguez, Carlos
2 Guerra, Esther
2 Horne, Ross
2 Jaber, Mohamad Y.
2 Jackson, Marcel G.
2 Jipsen, Peter
2 König, Barbara
2 Legay, Axel
2 Lienhardt, Michael
2 Lucanu, Dorel
2 Lucas, Salvador
2 Luo, Minxia
...and 604 more Authors

Publications by Year

Citations contained in zbMATH Open

Loading citation profile