×

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: 354 Publications (since 2014)
References indexed: 326 Publications with 12,426 References
all top 5

Authors

10 Berghammer, Rudolf
9 Möller, Bernhard
8 Winter, Michael
7 Meseguer Guaita, José
6 Höfner, Peter
6 Owe, Olaf
6 Vieira, Hugo Torres
6 Yoshida, Nobuko
5 Bartoletti, Massimo
5 Guttmann, Walter
5 Ingólfsdóttir, Anna
5 Struth, Georg
4 Aceto, Luca
4 Bravetti, Mario
4 Corradini, Andrea
4 Durán, Francisco
4 Escobar, Santiago
4 Furusawa, Hitoshi
4 Henrio, Ludovic
4 Johansen, Christian
4 Lanese, Ivan
4 Silva, Alexandra
4 Steffen, Martin
4 Stolz, Volker
4 ter Beek, Maurice H.
4 Tiezzi, Francesco
3 Barbanera, Franco
3 Bliudze, Simon
3 Castellani, Ilaria
3 de’Liguoro, Ugo
3 Haller, Philipp
3 Johnsen, Einar Broch
3 Kahl, Wolfram
3 Kawahara, Yasuo
3 Knight, Sophia
3 Kosiol, Jens
3 Krivulin, Nikolai K.
3 Llana, Luis
3 Lluch Lafuente, Alberto
3 Lochau, Malte
3 Mousavi, Mohammadreza
3 Nishida, Naoki
3 Oliveira, José Nuno
3 Pantović, Jovanka
3 Pun, Ka I.
3 Ravara, António
3 Scalas, Alceste
3 Schneider, Gerardo
3 Srba, Jiří
3 Taentzer, Gabriele
3 Tamarit, Salvador
3 Uustalu, Tarmo
3 Vidal, Germán
2 Achilleos, Antonis
2 Alpuente, María
2 Arusoaie, Andrei
2 Barbosa, Luís Soares
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 Dezani-Ciancaglini, Mariangiola
2 Doberkat, Ernst-Erich
2 El-Hokayem, Antoine
2 Fábregas, Ignacio
2 Falcone, Yliès
2 Ferrari, Gian Luigi
2 Francalanza, Adrian
2 Fu, Ming Quan
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 Lambers, Leen
2 Legay, Axel
2 Lienhardt, Michael
2 Lucanu, Dorel
2 Lucas, Salvador
2 Luo, Minxia
2 Madeira, Alexandre
2 Mardare, Radu
2 Martin-Martin, Enrique
2 Martins, Manuel António
2 McIver, Annabelle K.
2 Melo de Sousa, Simão
2 Mennicke, Stephan
2 Mezzina, Claudio Antares
2 Mikulás, Szabolcs
...and 555 more Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription