SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "L773:9783319216904 OR L773:9783319216898 "

Sökning: L773:9783319216904 OR L773:9783319216898

  • Resultat 1-1 av 1
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Abdulla, Parosh Aziz, et al. (författare)
  • Norn: An SMT Solver for String Constraints
  • 2015
  • Ingår i: COMPUTER AIDED VERIFICATION, PT I. - Cham : SPRINGER-VERLAG BERLIN. - 9783319216904 - 9783319216898 ; , s. 462-469
  • Konferensbidrag (refereegranskat)abstract
    • We present version 1.0 of the Norn SMT solver for string constraints. Norn is a solver for an expressive constraint language, including word equations, length constraints, and regular membership queries. As a feature distinguishing Norn from other SMT solvers, Norn is a decision procedure under the assumption of a set of acyclicity conditions on word equations, without any restrictions on the use of regular membership.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-1 av 1
Typ av publikation
konferensbidrag (1)
Typ av innehåll
refereegranskat (1)
Författare/redaktör
Rezine, Ahmed (1)
Abdulla, Parosh Aziz (1)
Atig, Mohamed Faouzi (1)
Holík, Lukás (1)
Stenman, Jari (1)
Chen, Yu-Fang (1)
visa fler...
Rümmer, Philipp (1)
visa färre...
Lärosäte
Uppsala universitet (1)
Linköpings universitet (1)
Språk
Engelska (1)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (1)
År
2015 (1)

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy