José A. Alonso

@Jose_A_Alonso

Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.

Sevilla
glc.us.es/~jalonso/vesti…
Vrijeme pridruživanja: siječanj 2011.
110 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @Jose_A_Alonso

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @Jose_A_Alonso

  1. Prikvačeni tweet
    13. sij

    Lecturas de programación funcional y demostración asistida por ordenador.

    5 korisnika označava da im se sviđa
    Poništi
  2. prije 17 minuta

    : Enunciado de "Máximo número de consecutivos iguales al dado".

    Poništi
  3. prije 1 sat

    : Soluciones de "Primer elemento repetido".

    Poništi
  4. prije 13 sati

    Nix: Functional package management! ~ James Bowen ().

    2 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi
  5. prije 18 sati

    Automated proof of Bell-LaPadula security properties. ~ Maximiliano Cristiá, Gianfranco Rossi.

    1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
    Poništi
  6. prije 22 sata

    Intro to Kaleidoscopes: Optics for aggregating data through Applicatives. ~ Chris Penner ().

    2 proslijeđena tweeta 7 korisnika označava da im se sviđa
    Poništi
  7. prije 22 sata

    List of open and free logic textbooks. ~ Richard Zach ().

    16 proslijeđenih tweetova 26 korisnika označava da im se sviđa
    Poništi
  8. prije 22 sata

    : Enunciado de "Entre dos potencias sucesivas".

    Poništi
  9. prije 22 sata

    : Soluciones de "La conjetura de Mertens".

    Poništi
  10. prije 22 sata

    Lecturas de programación funcional y demostración asistida por ordenador (2-feb-20).

    Poništi
  11. prije 23 sata

    A formal development cycle for security engineering in Isabelle. ~ Florian Kammüller.

    1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
    Poništi
  12. 2. velj

    MOIN: A nested sequent theorem prover for intuitionistic modal logics (system description). ~ Marianna Girlando, Lutz Straßburger.

    2 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi
  13. 2. velj

    Beyond notations: Hygienic macro expansion for theorem proving languages. ~ Sebastian Ullrich, Leonardo de Moura.

    2 proslijeđena tweeta 11 korisnika označava da im se sviđa
    Poništi
  14. 2. velj

    : SAT (solving).

    1 proslijeđeni tweet 5 korisnika označava da im se sviđa
    Poništi
  15. 2. velj

    Hilbert's tenth problem in Coq. ~ Dominique Larchey-Wendling, Yannick Forster.

    4 korisnika označavaju da im se sviđa
    Poništi
  16. 2. velj

    Lecturas de programación funcional y demostración asistida por ordenador (1-feb-20).

    1 korisnik označava da mu se sviđa
    Poništi
  17. proslijedio/la je Tweet
    2. velj

    Let’s all take a moment to enjoy the fact that today’s date is a palindrome for both big-endian and middle-endian date writing cultures. Happy 20200202!

    58 proslijeđenih tweetova 160 korisnika označava da im se sviđa
    Poništi
  18. 2. velj

    Completeness theorems for first-order logic analysed in constructive type theory. ~ Yannick Forster, Dominik Kirst, Dominik Wehr.

    3 proslijeđena tweeta 8 korisnika označava da im se sviđa
    Poništi
  19. 1. velj

    Verified programming of Turing machines in Coq. ~ Yannick Forster, Fabian Kunze, Maximilian Wuttke.

    6 korisnika označava da im se sviđa
    Poništi
  20. 1. velj

    Demostración en Lean.

    1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  21. 1. velj

    NP-completeness, part II. ~ Kevin Buchin.

    3 korisnika označavaju da im se sviđa
    Poništi

@Jose_A_Alonso još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·