×

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: 304 Publications (since 2014)
References indexed: 277 Publications with 10,357 References
all top 5

Authors

10 Berghammer, Rudolf
9 Möller, Bernhard
8 Winter, Michael
6 Höfner, Peter
6 Meseguer Guaita, José
6 Owe, Olaf
6 Yoshida, Nobuko
5 Guttmann, Walter
5 Struth, Georg
5 Vieira, Hugo Torres
4 Bartoletti, Massimo
4 Furusawa, Hitoshi
4 Johansen, Christian
4 Lanese, Ivan
4 Larsen, Kim Guldstrand
4 Silva, Alexandra
4 Steffen, Martin
4 Stolz, Volker
4 ter Beek, Maurice H.
3 Aceto, Luca
3 Bliudze, Simon
3 Bravetti, Mario
3 Castellani, Ilaria
3 Ingólfsdóttir, Anna
3 Johnsen, Einar Broch
3 Kahl, Wolfram
3 Kawahara, Yasuo
3 Llana, Luis
3 Lluch Lafuente, Alberto
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 Silva, Josep
3 Srba, Jiří
3 Tamarit, Salvador
3 Tiezzi, Francesco
3 Uustalu, Tarmo
3 Vidal, Germán
2 Arusoaie, Andrei
2 Barbanera, Franco
2 Barbosa, Luís Soares
2 Bernardo, Marco
2 Brunet, Paul
2 Caballero, Rafael E.
2 Camacho, Carlos J.
2 Ciobanu, Gabriel
2 Corradini, Andrea
2 Dang, Han-Hing
2 de Lara, Juan
2 de’Liguoro, Ugo
2 Desharnais, Jules
2 Dezani-Ciancaglini, Mariangiola
2 Doberkat, Ernst-Erich
2 Durán, Francisco
2 Escobar, Santiago
2 Fábregas, Ignacio
2 Fu, Ming Quan
2 Garavel, Hubert
2 Ghilezan, Silvia
2 Giachino, Elena
2 Gnesi, Stefania
2 Gregorio-Rodríguez, Carlos
2 Haller, Philipp
2 Henrio, Ludovic
2 Horne, Ross
2 Jackson, Marcel G.
2 Jipsen, Peter
2 Knight, Sophia
2 Krivulin, Nikolai K.
2 Lienhardt, Michael
2 Lochau, Malte
2 Lucanu, Dorel
2 Lucas, Salvador
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
2 Mosses, Peter D.
2 Mousavi, Mohammad Reza
2 Müller, Martin Eric
2 Murgia, Maurizio
2 Neves, Renato
2 Nielson, Flemming
2 Normann, Håkon
2 Núñez, Alberto
2 Palacios, Adrian G.
2 Pérez, Jorge A.
2 Phillips, Iain W.
2 Plump, Detlef
2 Pous, Damien
2 Ramezanifarkhani, Toktam
2 Riesco, Adrián
...and 483 more Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription